Journal of Soviet Mathematics

, Volume 1, Issue 1, pp 64–70 | Cite as

Real-time recognition of the inclusion relation

  • Yu. V. Matiyasevich


Inclusion Relation 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Literature cited

  1. 1.
    R. I. Freidzon, “A definition of recursive-predicate complexity which does not depend on the standardization of the concept of algorithm,” Seminars in Mathematics, Vol. 8, Consultants Bureau, New York (1970), pp. 110–114.Google Scholar
  2. 2.
    D. R. Morrison, “A feasible library automaton,” Internat. Congr. Mathematicians, Abstracts of Short Communications (Sec. I), Moscow (1966), p. 10.Google Scholar

Copyright information

© Consultants Bureau 1972

Authors and Affiliations

  • Yu. V. Matiyasevich

There are no affiliations available

Personalised recommendations