Reduced form of normal algorithms and a linear acceleration theorem

DOI10.1007/BF01117482zbMath0252.02030MaRDI QIDQ2557249

G. S. Tsejtin

Publication date: 1973

Published in: Journal of Soviet Mathematics (Search for Journal in Brave)

Mathematics Subject Classification ID

Algorithms in computer science (68W99)

Related Items (1)

Gregory Samuilovich Tseytin (obituary)

Cites Work

• Some generalizations of the concept of a normal algorithm

This page was built for publication: Reduced form of normal algorithms and a linear acceleration theorem