Follow
Achim Blumensath
Achim Blumensath
Verified email at mail.muni.cz - Homepage
Title
Cited by
Cited by
Year
Automatic structures
A Blumensath, E Gradel
Proceedings Fifteenth Annual IEEE Symposium on Logic in Computer Science …, 2000
4332000
Finite presentations of infinite structures: Automata and interpretations
A Blumensath, E Grädel
Theory of Computing Systems 37 (6), 641-674, 2004
1642004
Prefix-recognisable graphs and monadic second-order logic
A Blumensath
RWTH, Department of Computer Science, 2001
572001
Logical theories and compatible operations.
A Blumensath, T Colcombet, C Löding
Logic and Automata 2, 73-106, 2008
412008
On the monadic second-order transduction hierarchy
A Blumensath, B Courcelle
Logical Methods in Computer Science 6, 2010
282010
On the structure of graphs in the Caucal hierarchy
A Blumensath
Theoretical Computer Science 400 (1-3), 19-45, 2008
272008
The monadic theory of tree-like structures
D Berwanger, A Blumensath
Automata Logics, and Infinite Games: A Guide to Current Research, 285-301, 2002
242002
Recognisability for algebras of infinite trees
A Blumensath
Theoretical Computer Science 412 (29), 3463-3486, 2011
212011
Recognizability, hypergraph operations, and logical types
A Blumensath, B Courcelle
Information and Computation 204 (6), 853-919, 2006
212006
Decidability results for the boundedness problem
A Blumensath, M Otto, M Weyer
Logical Methods in Computer Science 10, 2014
202014
Two-way cost automata and cost logics over infinite trees
A Blumensath, T Colcombet, D Kuperberg, P Parys, MV Boom
Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference …, 2014
182014
A model-theoretic characterisation of clique width
A Blumensath
Annals of Pure and Applied Logic 142 (1-3), 321-350, 2006
162006
Boundedness of monadic second-order formulae over finite words
A Blumensath, M Otto, M Weyer
Automata, Languages and Programming: 36th Internatilonal Collogquium, ICALP …, 2009
152009
An algebraic proof of Rabin’s Tree Theorem
A Blumensath
Theoretical Computer Science 478, 1-21, 2013
142013
An extension of Muchnik's theorem
A Bluemnsath, S Kreutzer
Journal of Logic and Computation 15 (1), 59-74, 2005
132005
Structures of bounded partition width
A Blumensath
Bibliothek der RWTH Aachen, 2003
132003
Axiomatising tree-interpretable structures
A Blumensath
STACS 2002: 19th Annual Symposium on Theoretical Aspects of Computer Science …, 2002
122002
Monadic second-order definable graph orderings
A Blumensath, B Courcelle
Logical Methods in Computer Science 10, 2014
112014
Axiomatising tree-interpretable structures
A Blumensath
Theory of Computing Systems 37 (1), 3-27, 2004
92004
Regular tree algebras
A Blumensath
Logical Methods in Computer Science 16, 2020
82020
The system can't perform the operation now. Try again later.
Articles 1–20