Lower estimate of the number of steps for an inverting normal algorithm and other similar algorithms
From MaRDI portal
Publication:2557250
DOI10.1007/BF01117483zbMath0252.02031MaRDI QIDQ2557250
Publication date: 1973
Published in: Journal of Soviet Mathematics (Search for Journal in Brave)
Related Items (2)
Gregory Samuilovich Tseytin (obituary) ⋮ Finite approximate approach to the study of the complexity of recursive predicates
This page was built for publication: Lower estimate of the number of steps for an inverting normal algorithm and other similar algorithms