Englisch

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

Blumensath, Achim (2008)
Simple monadic theories.
Habilitation, Bibliographie

Blumensath, Achim ; Colcombet, Thomas ; Löding, Christof (2007)
Logical theories and compatible operations.
In: Logic and automata: History and Perspectives
Buchkapitel, Bibliographie

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