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