On the Theory of the PTIME Degrees of the Recursive Sets.

Juichi Shinoda Theodore A. Slaman

Published in: J. Comput. Syst. Sci. (1990)

Keyphrases

theoretical basis
general theory
set theoretic
database
theoretical framework
formal theory
probabilistic model
computational model
theoretical foundation
satisfiability problem
data complexity