Items where Author is "Halava, V"
 | Up a level |
Group by: Item Type | No Grouping
Number of items: 2.
Halava, V and Niskanen, R (2024) On simulating Turing machines with matrix semigroups with integrality tests. Theoretical Computer Science, 1005. ISSN 0304-3975
Halava, V, Harju, T, Niskanen, R and Potapov, I (2022) Integer Weighted Automata on Infinite Words. International Journal of Foundations of Computer Science. ISSN 0129-0541