ETAPS 2019 (series) / Achim Blumensath
Not registered as user yet
Name:Achim Blumensath
Country:Czechia
Affiliation:Masaryk University
Personal website: https://www.fi.muni.cz/~blumens/
Research interests:Algorithmic Model Theory, Model Theory for Monadic Second-Order Logic, Automata Theory and Algebraic Language Theory, Graph Theory and Combinatorics
Contributions
ETAPS 2019-profile
View general profile
View general profile