Foundations of Software Science and Computation Structures

DOI10.1007/11690634zbMath1138.03032OpenAlexW2504714231MaRDI QIDQ5899097

Dietrich Kuske, Markus Lohrey

Publication date: 2 May 2007

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

Full work available at URL: https://doi.org/10.1007/11690634

Mathematics Subject Classification ID

Automata and formal grammars in connection with logical questions (03D05) Decidability of theories and sets of sentences (03B25) Logic with extra quantifiers and operators (03C80)

Related Items (2)

Second-order finite automata: expressive power and simple proofs using automatic structures ⋮ Cardinality Quantifiers in MLO over Trees

This page was built for publication: Foundations of Software Science and Computation Structures