RUS  ENG
Full version
JOURNALS // Trudy Matematicheskogo Instituta imeni V.A. Steklova // Archive
Trudy Mat. Inst. Steklov., 1967 Volume 93, Pages 50–88 (Mi tm2826)
This article is cited in 1 paper

General theory of algorithms and calculuses

Simple examples of unsolvable canonical calculi

Yu. V. Matiyasevich


UDC: 51.01+518.5



Bibliographic databases:

© Steklov Math. Inst. of RAS, 2024