Achim Blumensath
发表
Achim Blumensath,
2001
.
Christof Löding,
Thomas Colcombet,
Achim Blumensath,
2007,
Logic and Automata.
David Janin,
Achim Blumensath,
2015
.
Achim Blumensath,
Erich Grädel,
E. Grädel,
2000,
Proceedings Fifteenth Annual IEEE Symposium on Logic in Computer Science (Cat. No.99CB36332).
Achim Blumensath,
Viktor Winschel,
2013
.
Achim Blumensath,
Jakub Lédl,
2021,
MFCS.
Achim Blumensath,
Achim Blumensath,
2002,
Theory of Computing Systems.
Achim Blumensath,
Viktor Winschel,
Achim Blumensath,
2017,
ArXiv.
Achim Blumensath,
Felix Wolf,
Achim Blumensath,
2019,
ICALP.
Achim Blumensath,
Achim Blumensath,
2013,
Theor. Comput. Sci..
Bruno Courcelle,
Achim Blumensath,
B. Courcelle,
2010,
Log. Methods Comput. Sci..
Achim Blumensath,
Erich Grädel,
E. Grädel,
2004,
Theory of Computing Systems.
Achim Blumensath,
Achim Blumensath,
2011,
Math. Log. Q..
Achim Blumensath,
2020,
Log. Methods Comput. Sci..
Achim Blumensath,
2022,
ArXiv.
Achim Blumensath,
Achim Blumensath,
2018,
Log. Methods Comput. Sci..
Achim Blumensath,
Achim Blumensath,
2011,
Theor. Comput. Sci..
Achim Blumensath,
Martin Otto,
Mark Weyer,
2014,
Log. Methods Comput. Sci..
Bruno Courcelle,
Achim Blumensath,
B. Courcelle,
2013,
Log. Methods Comput. Sci..