Browse by Person
![]() | Up a level |
Article
Blumensath, Achim (2006)
A Model Theoretic Characterisation of Clique-Width.
In: Annals of Pure and Applied Logic, 142
Article
Blumensath, Achim (2006)
Recognizability, Hypergraph Operations, and Logical Types.
In: Information and Computation, 204
Article
Book Section
Blumensath, Achim ; Colcombet, Thomas ; Löding, Christof (2007)
Logical theories and compatible operations.
In: Logic and automata: History and Perspectives ; Amsterdam : 2007 ; Amsterdam University Press ; 72-106
Book Section
Conference or Workshop Item
Blumensath, Achim ; Wolf, Felix
eds.: 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
Conference or Workshop Item
Habilitation
Blumensath, Achim (2008)
Simple monadic theories.
Habilitation