Real-time recognition of the inclusion relation
- 1 January 1972
- journal article
- research article
- Published by Springer Nature in Journal of Mathematical Sciences
- Vol. 1 (1) , 64-70
- https://doi.org/10.1007/bf01117471
Abstract
No abstract availableKeywords
This publication has 1 reference indexed in Scilit:
- A Definition of Recursive-Predicate Complexity Which does not Depend on the Standardization of the Concept of AlgorithmPublished by Springer Nature ,1970