Benedikt Bollig, Paul Gastin, Benjamin Monmege, Marc Zeitoun. Pebble Weighted Automata and Transitive Closure Logics. In Samson Abramsky, Cyril Gavoille, Claude Kirchner, Friedhelm Meyer auf der Heide, Paul G. Spirakis, editors, Automata, Languages and Programming, 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part II. Volume 6199 of Lecture Notes in Computer Science, pages 587-598, Springer, 2010. [doi]
@inproceedings{BolligGMZ10,
title = {Pebble Weighted Automata and Transitive Closure Logics},
author = {Benedikt Bollig and Paul Gastin and Benjamin Monmege and Marc Zeitoun},
year = {2010},
doi = {10.1007/978-3-642-14162-1_49},
url = {http://dx.doi.org/10.1007/978-3-642-14162-1_49},
tags = {logic},
researchr = {https://researchr.org/publication/BolligGMZ10},
cites = {0},
citedby = {0},
pages = {587-598},
booktitle = {Automata, Languages and Programming, 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part II},
editor = {Samson Abramsky and Cyril Gavoille and Claude Kirchner and Friedhelm Meyer auf der Heide and Paul G. Spirakis},
volume = {6199},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-642-14161-4},
}