Pebble Weighted Automata and Transitive Closure Logics.

Benedikt Bollig, Paul Gastin, Benjamin Monmege, Marc Zeitoun

Browse the full ICALP paper archive.