Mario Coppo
Automat algorithm automata bioinformatics complexity computer computer science formal language formal languages programming programming language term rewriting verification data structures algorithm analysis and problem complexity