×

zbMATH — the first resource for mathematics

Über die algorithmische Unlösbarkeit des Entscheidungsproblems der A- Vollständigkeit für endlich definierte Funktionen. (Russian) Zbl 0251.02047
MSC:
03D80 Applications of computability and recursion theory
03D03 Thue and Post systems, etc.
03D40 Word problems, etc. in computability and recursion theory
PDF BibTeX XML Cite