Incorporating Hypothetical Knowledge into the Process of Inductive Synthesis

Barzdins and Sarkans. "Incorporating Hypothetical Knowledge into the Process of Inductive Synthesis." International Conference on Algorithmic Learning Theory, 1996. doi:10.1007/3-540-61863-5_43

[Barzdins and Sarkans. "Incorporating Hypothetical Knowledge into the Process of Inductive Synthesis." International Conference on Algorithmic Learning Theory, 1996.](https://mlanthology.org/alt/1996/barzdins1996alt-incorporating/) doi:10.1007/3-540-61863-5_43

@inproceedings{barzdins1996alt-incorporating,
  title     = {{Incorporating Hypothetical Knowledge into the Process of Inductive Synthesis}},
  author    = {Barzdins, Janis and Sarkans, Ugis},
  booktitle = {International Conference on Algorithmic Learning Theory},
  year      = {1996},
  pages     = {156-168},
  doi       = {10.1007/3-540-61863-5_43},
  url       = {https://mlanthology.org/alt/1996/barzdins1996alt-incorporating/}
}