Two−way cost automata and cost logics over infinite trees
Achim Blumensath‚ Thomas Colcombet‚ Denis Kuperberg‚ Pawel Parys and Michael Vanden Boom
Book Title
Joint Meeting of the Twenty−Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty−Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)‚ CSL−LICS '14‚ Vienna‚ Austria‚ July 14 − 18‚ 2014
Editor
Thomas A. Henzinger and Dale Miller
ISBN
978−1−4503−2886−9
Pages
16
Publisher
ACM
Year
2014