Theories of Automatic Structures and Their Complexity

DOI10.1007/978-3-642-03564-7_5zbMath1256.03044OpenAlexW1708959509MaRDI QIDQ3642525

Dietrich Kuske

Publication date: 5 November 2009

Published in: Algebraic Informatics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-03564-7_5

Mathematics Subject Classification ID

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

Related Items (2)

Unnamed Item ⋮ Unnamed Item

This page was built for publication: Theories of Automatic Structures and Their Complexity