Iterated Limiting Recursion and the Program Minimization Problem

Schubert, Lenhart K.

Iterated Limiting Recursion and the Program Minimization Problem

Download BibTeX Cite

Proceedings of the Third International Joint Conference on Artificial Intelligence. Automatic Programming. Pages 513-522.

Abstract

Lenhart K. Schubert. 1973. Iterated Limiting Recursion and the Program Minimization Problem. In Proceedings of the Third International Joint Conference on Artificial Intelligence, IJCAI-73. IJCAI, 513–522. https://ijcai.org/proceedings/1973/65

@inproceedings{ijcai1973p65,
  title     = {Iterated Limiting Recursion and the Program Minimization Problem},
  author    = {Schubert, Lenhart K.},
  booktitle = {Proceedings of the Third International Joint Conference on
               Artificial Intelligence, {IJCAI-73}},
  publisher = {International Joint Conferences on Artificial Intelligence},
  editor    = {Nils J. Nilsson},
  pages     = {513--522},
  year      = {1973},
  month     = {8},
  note      = {Automatic Programming},
  url       = {https://ijcai.org/proceedings/1973/65},
}

TY  - CPAPER
TI  - Iterated Limiting Recursion and the Program Minimization Problem
AU  - Schubert, Lenhart K.
T2  - Proceedings of the Third International Joint Conference on Artificial Intelligence, IJCAI-73
PB  - International Joint Conferences on Artificial Intelligence
PY  - 1973
SP  - 513
EP  - 522
UR  - https://ijcai.org/proceedings/1973/65
ER  -