Concepedia
Annals of Pure and Applied Logic · 1991 · 81 citations · 3 references
ComputingComputer ScienceMathematicsAlgorithmsTheory Of ComputationComplexity TheoryComputational ComplexityComputational Complexity ClassesComputational ModelsRecurrence RelationsRecursion TheoryPolynomial-time AlgorithmsRecursionRecursive Models
3
Some properties of the constructivization of Boolean algebras
Siberian Mathematical Journal · 1975 · 65 citations
Natural Sciences, Computer Science, Mathematics +12
Every recursive linear ordering has a copy in DTIME-SPACE(<i>n</i>,log(<i>n</i>))
Serge Grigorieff · Journal of Symbolic Logic · 1990 · 41 citations
Computing, Computer Science, Mathematics +17
Complexity-theoretic algebra II: Boolean algebras
Anil Nerode, Jeffrey B. Remmel · Annals of Pure and Applied Logic · 1989 · 26 citations
Computing, Computer Science, Mathematics +14