Automatic Presentations of Infinite Structures
1. Verfasser: | Barany, V |
---|---|
Format: | Abschlussarbeit |
Veröffentlicht: |
2007
|
Ähnliche Einträge
Ähnliche Einträge
-
Automata−based presentations of infinite structures
von: Barany, V, et al.
Veröffentlicht: (2010) -
Invariants of Automatic Presentations and Semi−Synchronous Transductions
von: Barany, V
Veröffentlicht: (2006) -
Cardinality and counting quantifiers on omega−automatic structures
von: Kaiser, L, et al.
Veröffentlicht: (2008) -
A Hierarchy of Automatic Words having a Decidable MSO Theory
von: Barany, V
Veröffentlicht: (2006) -
A hierarchy of automatic omega−words having a decidable MSO theory
von: Barany, V
Veröffentlicht: (2008)