Polynomial-time versus recursive models
- 26 September 1991
- journal article
- Published by Elsevier in Annals of Pure and Applied Logic
- Vol. 54 (1) , 17-58
- https://doi.org/10.1016/0168-0072(91)90008-a
Abstract
No abstract availableKeywords
This publication has 3 references indexed in Scilit:
- Every recursive linear ordering has a copy in DTIME-SPACE(n,log(n))The Journal of Symbolic Logic, 1990
- Complexity-theoretic algebra II: Boolean algebrasAnnals of Pure and Applied Logic, 1989
- Some properties of the constructivization of Boolean algebrasSiberian Mathematical Journal, 1975