Journal of Soviet Mathematics

, Volume 1, Issue 1, pp 64–70

Real-time recognition of the inclusion relation

  • Authors
  • Yu. V. Matiyasevich
Article

DOI: 10.1007/BF01117471

Cite this article as:
Matiyasevich, Y.V. J Math Sci (1973) 1: 64. doi:10.1007/BF01117471

Copyright information

© Consultants Bureau 1972