Some Applications of the Decidability of DPDA s Equivalence

Géraud Sénizergues. Some Applications of the Decidability of DPDA s Equivalence. In Maurice Margenstern, Yurii Rogozhin, editors, Machines, Computations, and Universality, Third International Conference, MCU 2001, Chisinau, Moldavia, May 23-27, 2001, Proceedings. Volume 2055 of Lecture Notes in Computer Science, pages 114-132, Springer, 2001. [doi]

@inproceedings{Senizergues01,
  title = {Some Applications of the Decidability of DPDA s Equivalence},
  author = {Géraud Sénizergues},
  year = {2001},
  url = {http://link.springer.de/link/service/series/0558/bibs/2055/20550114.htm},
  researchr = {https://researchr.org/publication/Senizergues01},
  cites = {0},
  citedby = {0},
  pages = {114-132},
  booktitle = {Machines, Computations, and Universality, Third International Conference, MCU 2001, Chisinau, Moldavia, May 23-27, 2001, Proceedings},
  editor = {Maurice Margenstern and Yurii Rogozhin},
  volume = {2055},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-42121-1},
}