Automatic structures of bounded degree

MaRDI QIDQ3408149zbMATH OpenFDO

Authors Markus Lohrey

Publication date 24 February 2010

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Computable structure theory, computable model theory (03C57) Automata and formal grammars in connection with logical questions (03D05) Analysis of algorithms and problem complexity (68Q25)

Recommendations

• Automatic Structures of Bounded Degree Revisited
• Automatic structures of bounded degree revisited
• Model-theoretic complexity of automatic structures
• Ehrenfeucht-Fraïssé goes elementarily automatic for structures of bounded degree
• Theories of Automatic Structures and Their Complexity

Cited in

(12)

• On the complexity of decision using destinies in \(H\)-bounded structures
• Ehrenfeucht-Fraïssé goes elementarily automatic for structures of bounded degree
• Automatic structures of bounded degree revisited
• Preservation and decomposition theorems for bounded degree structures
• Analysing Complexity in Classes of Unary Automatic Structures
• Theories of Automatic Structures and Their Complexity
• Automatic Structures of Bounded Degree Revisited
• EQUIVALENT AUTOMATIC STRUCTURES AND THEIR BOUNDARIES
• Climbing up the elementary complexity classes with theories of automatic structures
• Automatic structures: twenty years later
• Boundedness of Monadic FO over Acyclic Structures
• Foundations of Software Science and Computation Structures

This page was built for publication: Automatic structures of bounded degree

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