Inductive Synthesis of Programs for Recursive Functions from Sample Computations - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Efim B. Kinber. Inductive Synthesis of Programs for Recursive Functions from Sample Computations. Elektronische Informationsverarbeitung und Kybernetik, 25(8/9):435-456, 1989.

@article{Kinber89,
  title = {Inductive Synthesis of Programs for Recursive Functions from Sample Computations},
  author = {Efim B. Kinber},
  year = {1989},
  researchr = {https://researchr.org/publication/Kinber89},
  cites = {0},
  citedby = {0},
  journal = {Elektronische Informationsverarbeitung und Kybernetik},
  volume = {25},
  number = {8/9},
  pages = {435-456},
}

runs on WebDSL