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