Polynomial-time versus recursive models
Authors:
- Douglas CenzerDCDouglas Cenzer
- Jeffrey RemmelJRJeffrey Remmel
- 1 September 1991
- journal article
- Published by Elsevier in Annals of Pure and Applied Logic
- Vol. 54 (1) , 17-58
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