Automatic Presentations of Infinite Structures
Hovedforfatter: | Barany, V |
---|---|
Format: | Thesis |
Udgivet: |
2007
|
Lignende værker
-
Automata−based presentations of infinite structures
af: Barany, V, et al.
Udgivet: (2010) -
Invariants of Automatic Presentations and Semi−Synchronous Transductions
af: Barany, V
Udgivet: (2006) -
Cardinality and counting quantifiers on omega−automatic structures
af: Kaiser, L, et al.
Udgivet: (2008) -
A Hierarchy of Automatic Words having a Decidable MSO Theory
af: Barany, V
Udgivet: (2006) -
A hierarchy of automatic omega−words having a decidable MSO theory
af: Barany, V
Udgivet: (2008)