A Note on Transformations of Interactive Proofs that Preserve the Prover's Complexity.

Published in: IEICE Trans. Fundam. Electron. Commun. Comput. Sci. (2004)

Keyphrases

theorem proving
theorem prover
decision problems
worst case
automated theorem proving
first order logic
proof search
computer graphics
user friendly
graphical interface
interactive video
data analysis
virtual reality
database
search algorithm
inference rules
e learning
information retrieval
neural network
databases