Proving Properties of Interactive Proofs by a Generalized Counting Technique

László Babai Shlomo Moran

Published in: Inf. Comput. (1989)

Keyphrases

desirable properties
user interaction
data mining
database
web services
natural language
hidden markov models
theorem proving
highly interactive
interactive video