Inductive Synthesis of Algorithms for Graphs from Sample Computations

@article{Kinber1988InductiveSO,
  title={Inductive Synthesis of Algorithms for Graphs from Sample Computations},
  author={Efim B. Kinber},
  journal={Elektronische Informationsverarbeitung und Kybernetik},
  year={1988},
  volume={24},
  pages={201-218}
}
  • Efim B. Kinber
  • Published 1988 in
    Elektronische Informationsverarbeitung und…