Douglas Cenzer

Polynomial-time versus recursive models

Douglas Cenzer, Jeffrey B. Remmel · Annals of Pure and Applied Logic · 1991 · 81 citations

Engineering, Automated Reasoning, Computational Model Theory +5

Effective categoricity of equivalence structures

Wesley Calvert, Douglas Cenzer, Valentina Harizanov et al. · Annals of Pure and Applied Logic · 2005 · 59 citations

Automated Reasoning, Effective Categoricity, Language Studies +5

Polynomial-time abelian groups

Douglas Cenzer, Jeffrey B. Remmel · Annals of Pure and Applied Logic · 1992 · 51 citations

Frattini Subgroup, Group Representation, Nilpotent Group +1

Algorithmic Randomness of Closed Sets

George Barmpalias, Paul Brodhead, Douglas Cenzer et al. · Journal of Logic and Computation · 2007 · 37 citations

Mathematical Programming, Computational Complexity Theory, Engineering +16

Members of countable π10 classes

Douglas Cenzer, Peter Clote, Rick L. Smith et al. · Annals of Pure and Applied Logic · 1986 · 36 citations

Combinatorics On Word, Countable π10 Classes, Set-theoretic Topology