Trakhtenbrot, B. A. Über die Kompliziertheit der Reduktionsalgorithmen in Novikov-Booneschen Konstruktionen. (Russian) Zbl 0199.31201 Algebra Logika 8, 93-128 (1969). Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page Cited in 3 Documents MSC: 68Q25 Analysis of algorithms and problem complexity 03D40 Word problems, etc. in computability and recursion theory 03D25 Recursively (computably) enumerable sets and degrees Keywords:recursion theory, constructive mathematics PDFBibTeX XMLCite \textit{B. A. Trakhtenbrot}, Algebra Logika 8, 93--128 (1969; Zbl 0199.31201)