Sign in
A complexity-theoretic proof of a Recursion-Theoretic Theorem.
Amir M. Ben-Amram
Published in:
SIGACT News (2004)
Keyphrases
</>
complexity theoretic
interactive theorem proving
consistent query answering
complex objects
deductive databases
theorem prover
theorem proving
prime implicates
lower bound
state space
datalog programs
conp complete