Matiyasevich, Yu. V. Simple examples of undecidable associative calculi. (English. Russian original) Zbl 0189.01102 Sov. Math., Dokl. 8, 555-557 (1967); translation from Dokl. Akad. Nauk SSSR 173, 1264-1266 (1967). Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page Cited in 22 Documents Keywords:recursion theory, constructive mathematics × Cite Format Result Cite Review PDF