Interactive Proof Systems: Provers, Rounds, and Error Bounds.

Ulrich Hertrampf Klaus W. Wagner

Published in: CSL (1990)

Keyphrases

error bounds
interactive systems
theorem prover
management system
theoretical analysis
computer systems
theorem proving
distributed systems
intelligent systems
real time
user interaction
worst case
learning systems
complex systems
special case
knowledge base
search engine
neural network