The lambda-gamma calculus: A language adequate for defining recursive functions
- P.C. Gilmore
- 1970
- Information Sciences
Publications
8203 results for AI
An examination of the geometry theorem machine
- P.C. Gilmore
- 1970
- Artificial Intelligence
File Organization: On the Selection of Random Access Index Points for Sequential Files
- S.P. Ghosh
- M.E. Senko
- 1969
- Journal of the ACM
Organization of records with unequal multiple-valued attributes and combinatorial queries of order 2
- S.P. Ghosh
- 1969
- Information Sciences
Properties of infinite covariance matrices and stability of optimum predictors
- J. Rissanen
- L. Barbosa
- 1969
- Information Sciences
On the hartmanis-stearns problem for a class of tag machines
- Alan Cobham
- 1968
- SWAT 1968
"tapeless" bounded action machines
- Eric G. Wagner
- 1968
- SWAT 1968
Limited random access turing machines
- Michael J. Fischer
- Arnold L. Rosenberg
- 1968
- SWAT 1968
The uniform halting problem for generalized one state turing machines
- Gabor T. Herman
- 1968
- SWAT 1968
On the Independence of Real-Time Definability and Certain Structural Properties of Context-Free Languages
- Arnold L. Rosenberg
- 1968
- Journal of the ACM