16 citations · 19 across the 8 of their papers we have counts for
Showing 2014Show all
3 papers · 1 filter
cs.LO2014★ 1 cited
Another proof of undecidability for the correspondence decision problem - Had I been Emil Post
Vesa Halava
In 1946 Emil Leon Post (Bulletin of Amer. Math. Soc. 52 (1946), 264 - 268) defined a famous correspondence decision problem which is nowadays called the Post Correspondence Problem…
cs.FL2014
Weighted automata on infinite words in the context of Attacker-Defender games
Vesa Halava, Tero Harju, Reino Niskanen +1
We consider infinite-state Attacker-Defender games with reachability objectives. The results of the paper are twofold. Firstly we prove a new language-theoretic result for weighted…
cs.DM2014★ 16 cited
Tighter Undecidability Bounds for Matrix Mortality, Zero-in-the-Corner Problems, and More
Julien Cassaigne, Vesa Halava, Tero Harju +1
We study the decidability of three well-known problems related to integer matrix multiplication: Mortality (M), Zero in the Left-Upper Corner (Z), and Zero in the Right-Upper Corne…