Non Deterministic Recursive Program Schemes

André Arnold, Maurice Nivat. Non Deterministic Recursive Program Schemes. In Marek Karpinski, editor, Fundamentals of Computation Theory, Proceedings of the 1977 International FCT-Conference, Poznan-Kórnik, Poland, September 19-23, 1977. Volume 56 of Lecture Notes in Computer Science, pages 12-21, Springer, 1977.

@inproceedings{ArnoldN77,
  title = {Non Deterministic Recursive Program Schemes},
  author = {André Arnold and Maurice Nivat},
  year = {1977},
  researchr = {https://researchr.org/publication/ArnoldN77},
  cites = {0},
  citedby = {0},
  pages = {12-21},
  booktitle = {Fundamentals of Computation Theory, Proceedings of the 1977 International FCT-Conference, Poznan-Kórnik, Poland, September 19-23, 1977},
  editor = {Marek Karpinski},
  volume = {56},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-08442-8},
}