论文信息 - Real-time recognition of the inclusion relation - 字舞流文

Real-time recognition of the inclusion relation

Yu. V. Matiyasevich

[1] R. I. Freidzon. A Definition of Recursive-Predicate Complexity Which does not Depend on the Standardization of the Concept of Algorithm , 1970 .