( en | de | ru )

 

Disambiguation of "Halava, Vesa"

Author of the publication

copydeleteadd this publication to your clipboard
Infinite Solutions of Marked Post Correspondence Problem.

, and . Formal and Natural Computing, volume 2300 of Lecture Notes in Computer Science, page 57-68. Springer, (2002)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Vesa Oittinen

Vesa Välimäki

Sampo Vesa

Vesa Hasu

Marjo Vesalainen

 

Other publications of authors with the same name

A New Proof for Undecidability of the Bi-Infinite Post Correspondence Problem., , and . Fundam. Informaticae, 154 (1-4): 167-176 (2017)Matrix Equations and Hilbert's Tenth Problem., , , , and . Int. J. Algebra Comput., 18 (8): 1231-1241 (2008)Equality sets of prefix morphisms and regular star languages., , and . Inf. Process. Lett., 94 (4): 151-154 (2005)Undecidability Bounds for Integer Matrices Using Claus Instances., , and . Int. J. Found. Comput. Sci., 18 (5): 931-948 (2007)Undecidability of infinite post correspondence problem for instances of Size 9., and . RAIRO Theor. Informatics Appl., 40 (4): 551-557 (2006)Mortality in Matrix Semigroups., and . The American Mathematical Monthly, 108 (7): 649-653 (2001)Marked PCP is decidable., , and . Theor. Comput. Sci., 255 (1-2): 193-204 (2001)Extension of the decidability of the marked PCP to instances with unique blocks., , , and . Theor. Comput. Sci., 380 (3): 355-362 (2007)Languages Defined by Generalized Equality Sets., , , and . FCT, volume 2751 of Lecture Notes in Computer Science, page 355-363. Springer, (2003)Undecidability in Finite Transducers, Defense Systems and Finite Substitutions.. CoRR, (2021)