Journal of Soviet Mathematics

, Volume 1, Issue 1, pp 64–70

Real-time recognition of the inclusion relation

  • Yu. V. Matiyasevich

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Consultants Bureau 1972

Authors and Affiliations

  • Yu. V. Matiyasevich

There are no affiliations available

Personalised recommendations