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]
Abstract is missing.