Blättern nach Person
 | Ebene hoch |
2018
Blumensath, Achim ; Wolf, Felix
Hrsg.: Chatzigiannakis, Ioannis ; Kaklamanis, Christos ; Marx, Dániel ; Sannella, Donald (2018)
Bisimulation Invariant Monadic-Second Order Logic in the Finite.
45th International Colloquium on Automata, Languages, and Programming (ICALP 2018). Dagstuhl, Germany
Konferenzveröffentlichung, Bibliographie
2008
Blumensath, Achim (2008)
Simple monadic theories.
Habilitation, Bibliographie
2007
Blumensath, Achim ; Colcombet, Thomas ; Löding, Christof (2007)
Logical theories and compatible operations.
In: Logic and automata: History and Perspectives
Buchkapitel, Bibliographie
2006
Blumensath, Achim (2006)
A Model Theoretic Characterisation of Clique-Width.
In: Annals of Pure and Applied Logic, 142
Artikel, Bibliographie
Blumensath, Achim (2006)
Recognizability, Hypergraph Operations, and Logical Types.
In: Information and Computation, 204
Artikel, Bibliographie
Drucken
Impressum