Two−way cost automata and cost logics over infinite trees

Bibliographic Details
Main Authors: Blumensath, A, Colcombet, T, Kuperberg, D, Parys, P, Boom, M
Format: Conference item
Published: ACM 2014