2008 |
10 | EE | Achim Blumensath:
On the structure of graphs in the Caucal hierarchy.
Theor. Comput. Sci. 400(1-3): 19-45 (2008) |
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 |