Existence and Uniqueness of Structures Computable in Polynomial Time

Polynomial-time versus recursive models

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

Computing, Computer Science, Mathematics +11

Polynomial-time abelian groups

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

Complexity Theoretic Model Theory and Algebra

Douglas Cenzer · 2013 · 22 citations

Computing, Computer Science, Mathematics +10

Algorithmic degree of unars

B. M. Khusainov · Algebra and Logic · 1988 · 13 citations

Computing, Computer Science, Mathematics +8

Complexity and Categoricity

Douglas Cenzer, Jeffrey B. Remmel · Information and Computation · 1998 · 10 citations