RUS
ENG
Full version
JOURNALS
// Algebra i logika
// Archive
Algebra Logika,
1969
Volume 8,
Number 1,
Pages
93–128
(Mi al1185)
The complexity of reduction algorithms in Novikov-Boone constructions.
B. A. Trakhtenbrot
UDC:
51.01:518.5:519.45
Received: 27.11.1968
Fulltext:
PDF file (1410 kB)
Bibliographic databases:
©
Steklov Math. Inst. of RAS
, 2026
Fulltext:
PDF file (1410 kB)