Up a level |
Halava, Vesa, Harju, Tero, Niskanen, Reino ORCID: 0000-0002-2210-1481 and PotapoV, Igor
(2021)
Integer Weighted Automata on Infinite Words.
In: Developments in Language Theory, 2021-8-16 - 2021-8-20, Porto, Portugal.
Halava, Vesa, Harju, Tero, Niskanen, Reino and Potapov, Igor
(2023)
Integer Weighted Automata on Infinite Words.
INTERNATIONAL JOURNAL OF FOUNDATIONS OF COMPUTER SCIENCE, 34 (02N03).
pp. 163-182.
Niskanen, R ORCID: 0000-0002-2210-1481
(2018)
Reachability games and related matrix and word problems.
Doctor of Philosophy thesis, University of Liverpool.
Ko, Sang-Ki and Potapov, Igor
(2018)
Vector Ambiguity and Freeness Problems in SL(2, Z).
FUNDAMENTA INFORMATICAE, 162 (2-3).
pp. 161-182.