Vesa Halava

Vesa Halava

University of Turku - Turku / Finland
Natural Sciences / Mathematical Sciences
AD Scientific Index ID: 1659359
Turun yliopisto
person_outline Vesa Halava's MOST POPULAR ARTICLES
1-) Skolem’s problem–on the border between decidability and undecidabilityV Halava, T Harju, M Hirvensalo, J KarhumäkiTechnical Report 683, Turku Centre for Computer Science, 20051102005
2-) Positivity of second order linear recurrent sequencesV Halava, T Harju, M HirvensaloDiscrete Applied Mathematics 154 (3), 447-451, 2006582006
3-) Undecidability bounds for integer matrices using Claus instancesV Halava, T Harju, M HirvensaloInternational Journal of Foundations of Computer Science 18 (05), 931-948, 2007562007
4-) Binary (generalized) Post correspondence problemV Halava, T Harju, M HirvensaloTheoretical computer science 276 (1-2), 183-204, 2002502002
5-) Mortality in matrix semigroupsV Halava, T HarjuThe American Mathematical Monthly 108 (7), 649-653, 2001492001