Searching for authors named "Vesa Halava" – sorted by Relevance.
17 documents found, showing 1 through 10.
Next 10 →
-
Decidable and Undecidable Problems in Matrix Theory
- …Decidable and Undecidable Problems in Matrix Theory Vesa Halava University of Turku, Department…
- Cited by 5 (1 self) – Add To MetaCart
-
Undecidability of Infinite Post Correspondence Problem for Instances of Size 9
- … CORRESPONDENCE PROBLEM FOR INSTANCES OF SIZE 9 Vesa Halava 1 and Tero Harju 1 Abstract. In the infinite Post…
- Cited by 3 (0 self) – Add To MetaCart
-
Some New Results on Post Correspondence Problem and Its Modifications
- …Some New Results on Post Correspondence Problem and Its Modifications Vesa Halava Department…
- Cited by 1 (0 self) – Add To MetaCart
-
Periods and Binary Words
- …Periods and Binary Words Vesa Halava Turku Centre for Computer Science, TUCS FIN-20520, Turku…
- Cited by 9 (4 self) – Add To MetaCart
-
Finite Substitutions and Integer Weighted Finite Automata
- …Finite Substitutions and Integer Weighted Finite Automata Vesa Halava Turku Centre for Computer…
- Cited by 2 (1 self) – Add To MetaCart
-
Undecidability of the Equivalence of Finite Substitutions on Regular Language
- …Undecidability of the Equivalence of Finite Substitutions on Regular Language Vesa Halava TUCS…
- Cited by 2 (0 self) – Add To MetaCart
-
Generalized PCP Is Decidable for Marked Morphisms
- …Generalized PCP Is Decidable for Marked Morphisms Vesa Halava Turku Centre for Computer Science…
- Cited by 2 (2 self) – Add To MetaCart
-
Undecidability in Integer Weighted Finite Automata
- …Undecidability in Integer Weighted Finite Automata Vesa Halava Turku Centre for Computer Science…
- Cited by 3 (1 self) – Add To MetaCart
-
Infinite solutions of marked Post Correspondence Problem
- …Innite solutions of marked Post Correspondence Problem Vesa Halava Department of Mathematics…
- Cited by 3 (1 self) – Add To MetaCart
-
On a Geometric Problem of Zig-Zags
- …On a Geometric Problem of Zig-Zags Vesa Halava University of Turku, Department of Mathematics, FIN…
- Add To MetaCart
Showing 1 through 10.
Next 10 →
