Foundations of Software Science and Computation Structures

DOI10.1007/11690634MaRDI QIDQ5899097zbMATH OpenOpenAlexFDO

Authors 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

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

Recommendations

• First-order and counting theories ofω-automatic structures
• Automatic structures of bounded degree revisited
• Theories of Automatic Structures and Their Complexity
• Cardinality and counting quantifiers on omega-automatic structures
• Automatic structures of bounded degree

Cited in

(8)

• Second-order finite automata: expressive power and simple proofs using automatic structures
• Cardinality Quantifiers in MLO over Trees
• First-order and counting theories ofω-automatic structures
• Cardinality and counting quantifiers on omega-automatic structures
• Model-theoretic properties of \(\omega\)-automatic structures
• Theories of Automatic Structures and Their Complexity
• Ehrenfeucht-Fraïssé goes elementarily automatic for structures of bounded degree
• scientific article; zbMATH DE number 1400048 (Why is no real title available?)

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5899097)