|
Search the dblp DataBase
Achim Blumensath:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Achim Blumensath, Erich Grädel
Automatic Structures. [Citation Graph (1, 0)][DBLP] LICS, 2000, pp:51-62 [Conf]
- Achim Blumensath
Bounded Arithmetic and Descriptive Complexity. [Citation Graph (0, 0)][DBLP] CSL, 2000, pp:232-246 [Conf]
- Dietmar Berwanger, Achim Blumensath
The Monadic Theory of Tree-like Structures. [Citation Graph (0, 0)][DBLP] Automata, Logics, and Infinite Games, 2001, pp:285-302 [Conf]
- Dietmar Berwanger, Achim Blumensath
Automata for Guarded Fixed Point Logics. [Citation Graph (0, 0)][DBLP] Automata, Logics, and Infinite Games, 2001, pp:343-355 [Conf]
- Achim Blumensath
Axiomatising Tree-Interpretable Structures. [Citation Graph (0, 0)][DBLP] STACS, 2002, pp:596-607 [Conf]
- Achim Blumensath
A model-theoretic characterisation of clique width. [Citation Graph (0, 0)][DBLP] Ann. Pure Appl. Logic, 2006, v:142, n:1-3, pp:321-350 [Journal]
- Achim Blumensath
Axiomatising Tree-Interpretable Structures. [Citation Graph (0, 0)][DBLP] Theory Comput. Syst., 2004, v:37, n:1, pp:3-27 [Journal]
- Achim Blumensath, Erich Grädel
Finite Presentations of Infinite Structures: Automata and Interpretations. [Citation Graph (0, 0)][DBLP] Theory Comput. Syst., 2004, v:37, n:6, pp:641-674 [Journal]
Boundedness of Monadic Second-Order Formulae over Finite Words. [Citation Graph (, )][DBLP]
Guarded Second-Order Logic, Spanning Trees, and Network Flows [Citation Graph (, )][DBLP]
Search in 0.003secs, Finished in 0.003secs
|