TU Darmstadt / ULB / TUbiblio

Blättern nach Person

Ebene hoch
Exportieren als [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Gruppiere nach: Keine Gruppierung | Typ des Eintrags | Publikationsjahr | Sprache
Anzahl der Einträge: 5.

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

Diese Liste wurde am Tue Mar 26 03:31:18 2024 CET generiert.