Prefix-Recognizable Graphs and Monadic Logic

DOI10.1007/3-540-36387-4_15zbMath1021.03505OpenAlexW2174257988MaRDI QIDQ4412838

Martin Leucker

Publication date: 16 July 2003

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/3-540-36387-4_15

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Automata and formal grammars in connection with logical questions (03D05) Decidability of theories and sets of sentences (03B25)

Related Items (1)

Reachability on prefix-recognizable graphs

This page was built for publication: Prefix-Recognizable Graphs and Monadic Logic