Formal Computations of Non Deterministic Recursive Program Schemes - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

André Arnold, Maurice Nivat. Formal Computations of Non Deterministic Recursive Program Schemes. Theory Comput. Syst., 13:219-236, 1980.

@article{ArnoldN80,
  title = {Formal Computations of Non Deterministic Recursive Program Schemes},
  author = {André Arnold and Maurice Nivat},
  year = {1980},
  researchr = {https://researchr.org/publication/ArnoldN80},
  cites = {0},
  citedby = {0},
  journal = {Theory Comput. Syst.},
  volume = {13},
  pages = {219-236},
}

runs on WebDSL