| 2006 |
|---|
| 9 | EE | Achim Blumensath:
A model-theoretic characterisation of clique width.
Ann. Pure Appl. Logic 142(1-3): 321-350 (2006) |
| 8 | EE | Achim Blumensath,
Bruno Courcelle:
Recognizability, hypergraph operations, and logical types.
Inf. Comput. 204(6): 853-919 (2006) |
| 2004 |
|---|
| 7 | EE | Achim Blumensath:
Axiomatising Tree-Interpretable Structures.
Theory Comput. Syst. 37(1): 3-27 (2004) |
| 6 | EE | Achim Blumensath,
Erich Grädel:
Finite Presentations of Infinite Structures: Automata and Interpretations.
Theory Comput. Syst. 37(6): 641-674 (2004) |
| 2002 |
|---|
| 5 | EE | Achim Blumensath:
Axiomatising Tree-Interpretable Structures.
STACS 2002: 596-607 |
| 2001 |
|---|
| 4 | EE | Dietmar Berwanger,
Achim Blumensath:
The Monadic Theory of Tree-like Structures.
Automata, Logics, and Infinite Games 2001: 285-302 |
| 3 | EE | Dietmar Berwanger,
Achim Blumensath:
Automata for Guarded Fixed Point Logics.
Automata, Logics, and Infinite Games 2001: 343-355 |
| 2000 |
|---|
| 2 | EE | Achim Blumensath:
Bounded Arithmetic and Descriptive Complexity.
CSL 2000: 232-246 |
| 1 | EE | Achim Blumensath,
Erich Grädel:
Automatic Structures.
LICS 2000: 51-62 |
