Vesa Halava
 Lecturer
Department of Mathematics and Statistics
University of Turku
Finland
Biography
Vesa Halava is working as Lecturer(Discrete mathematics) ,Department of Mathematics and Statistics ,University of Turku.
Research Interest
Decidability questions ; Combinatorics on words ; Automata and languages.
Publications
-
Halava V. Another proof of undecidability for the correspondence decision problem-Had I been Emil Post. arXiv preprint arXiv:1411.5197. 2014 Nov 19.
-
Halava V, Niskanen R, Potapov I. On Undecidability of Counter Reachability Games in Dimension One. arXiv preprint arXiv:1411.4796. 2014 Nov.
