An Iteration Theorem for One-Counter Languages

Luc Boasson. An Iteration Theorem for One-Counter Languages. In Conference Record of Third Annual ACM Symposium on Theory of Computing, 1971, Shaker Heights, Ohio, USA. pages 116-120, ACM, 1971.

@inproceedings{Boasson71,
  title = {An Iteration Theorem for One-Counter Languages},
  author = {Luc Boasson},
  year = {1971},
  researchr = {https://researchr.org/publication/Boasson71},
  cites = {0},
  citedby = {0},
  pages = {116-120},
  booktitle = {Conference Record of Third Annual ACM Symposium on Theory of Computing, 1971, Shaker Heights, Ohio, USA},
  publisher = {ACM},
}