Structures Computable in Polynomial Time. I

Autostability of models

V. D. Dzgoev · Algebra and Logic · 1980 · 128 citations

Automated Reasoning, Model Analysis, Finite Model Theory +1

Recursively categorical linear orderings

Jeffrey B. Remmel · Proceedings of the American Mathematical Society · 1981 · 113 citations

Order Theory, Recursive Structure, Immediate Successor +7

Recursive isomorphism types of recursive Boolean algebras

Jeffrey B. Remmel · Journal of Symbolic Logic · 1981 · 95 citations

Algebraic Logic, Engineering, Boolean Function +8

Problem of the number of non-self-equivalent constructivizations

Algebra and Logic · 1980 · 93 citations

Combinatorics On Word, Combinatorial Design, Combinatorial Design Theory +2

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