RUS  ENG
Full version
JOURNALS // Trudy Matematicheskogo Instituta imeni V.A. Steklova // Archive
Trudy Mat. Inst. Steklov., 1967 Volume 93, Pages 89–105 (Mi tm2827)
Constructive mathematical logic

Algorithms covering a given algorithm

A. V. Idel'son



 English version: Proceedings of the Steklov Institute of Mathematics, 1967, 93, 111–132

Bibliographic databases:

© Steklov Math. Inst. of RAS, 2024