Automata with Nested Pebbles Capture First-Order Logic with Transitive Closure

DOI10.2168/LMCS-3(2:3)2007zbMath1128.03027MaRDI QIDQ5310688

Joost Engelfriet, Hendrik Jan Hoogeboom

Publication date: 11 October 2007

Published in: Logical Methods in Computer Science (Search for Journal in Brave)

Mathematics Subject Classification ID

03D05: Automata and formal grammars in connection with logical questions