A characterization of the complexity of recursive predicates
From MaRDI portal
Publication:2551103
zbMath0233.02016MaRDI QIDQ2551103
Publication date: 1972
Published in: Proceedings of the Steklov Institute of Mathematics (Search for Journal in Brave)
Complexity of computation (including implicit computational complexity) (03D15) Complexity classes (hierarchies, relations among complexity classes, etc.) (68Q15)
This page was built for publication: A characterization of the complexity of recursive predicates