ML Anthology

Constructive Induction for Recursive Programs

Chowdhury Rahman Mofizur, Masayuki Numao
ALT 1994 pp. 161-175
doi:10.1007/3-540-58520-6_62 /alt/1994/mofizur1994alt-constructive/
PDF ALT Semantic Scholar

Cite

Text

Mofizur and Numao. "Constructive Induction for Recursive Programs." International Conference on Algorithmic Learning Theory, 1994. doi:10.1007/3-540-58520-6_62

Markdown

[Mofizur and Numao. "Constructive Induction for Recursive Programs." International Conference on Algorithmic Learning Theory, 1994.](https://mlanthology.org/alt/1994/mofizur1994alt-constructive/) doi:10.1007/3-540-58520-6_62

BibTeX

@inproceedings{mofizur1994alt-constructive,
  title     = {{Constructive Induction for Recursive Programs}},
  author    = {Mofizur, Chowdhury Rahman and Numao, Masayuki},
  booktitle = {International Conference on Algorithmic Learning Theory},
  year      = {1994},
  pages     = {161-175},
  doi       = {10.1007/3-540-58520-6_62},
  url       = {https://mlanthology.org/alt/1994/mofizur1994alt-constructive/}
}