Automorphisms in the PTIME-Turing Degrees of Recursive Sets.

Christine Ann Haught Theodore A. Slaman

Published in: Ann. Pure Appl. Log. (1997)

Keyphrases

set theoretic
database
computer vision
satisfiability problem
machine intelligence
information systems
real world
search algorithm
query evaluation
datalog programs
definite clause