TU Darmstadt / ULB / TUbiblio

Browse by Person

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: No Grouping | Item Type | Date | Language
Number of items: 5.

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

Blumensath, Achim (2008)
Simple monadic theories.
Habilitation

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

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

This list was generated on Tue Sep 26 01:23:15 2023 CEST.