The Automatic Synthesis of Systems of Recursive Programs - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Zohar Manna, Richard J. Waldinger. The Automatic Synthesis of Systems of Recursive Programs. In IJCAI. pages 405-411, 1977.

@inproceedings{MannaW77,
  title = {The Automatic Synthesis of Systems of Recursive Programs},
  author = {Zohar Manna and Richard J. Waldinger},
  year = {1977},
  researchr = {https://researchr.org/publication/MannaW77},
  cites = {0},
  citedby = {0},
  pages = {405-411},
  booktitle = {IJCAI},
}

runs on WebDSL