Where academic tradition
meets the exciting future

Undecidability of the Equivalence of Finite Substitutions on Regular Language

Vesa Halava, Tero Harju, Undecidability of the Equivalence of Finite Substitutions on Regular Language. RAIRO Theoret. Informatics Appl. 33, 117-124, 1999.

BibTeX entry:

@ARTICLE{jHaHa99b,
  title = {Undecidability of the Equivalence of Finite Substitutions on Regular Language},
  author = {Halava, Vesa and Harju, Tero},
  journal = {RAIRO Theoret. Informatics Appl.},
  volume = {33},
  pages = {117-124},
  year = {1999},
}

Edit publication