Checking Equality and Regularity for Normed BPA with Silent Moves

Yuxi Fu. Checking Equality and Regularity for Normed BPA with Silent Moves. In Fedor V. Fomin, Rusins Freivalds, Marta Z. Kwiatkowska, David Peleg, editors, Automata, Languages, and Programming - 40th International Colloquium, ICALP 2013, Riga, Latvia, July 8-12, 2013, Proceedings, Part II. Volume 7966 of Lecture Notes in Computer Science, pages 238-249, Springer, 2013. [doi]

@inproceedings{Fu13-0,
  title = {Checking Equality and Regularity for Normed BPA with Silent Moves},
  author = {Yuxi Fu},
  year = {2013},
  doi = {10.1007/978-3-642-39212-2_23},
  url = {http://dx.doi.org/10.1007/978-3-642-39212-2_23},
  researchr = {https://researchr.org/publication/Fu13-0},
  cites = {0},
  citedby = {0},
  pages = {238-249},
  booktitle = {Automata, Languages, and Programming - 40th International Colloquium, ICALP 2013, Riga, Latvia, July 8-12, 2013, Proceedings, Part II},
  editor = {Fedor V. Fomin and Rusins Freivalds and Marta Z. Kwiatkowska and David Peleg},
  volume = {7966},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-39211-5},
}