Lightweight cnsistency enforcement schemes for distributed proofs with hidden subtrees.

Adam J. Lee Kazuhiro Minami Marianne Winslett

Published in: SACMAT (2007)

Keyphrases

lightweight
development environments
theorem prover
communication infrastructure
multi agent
distributed systems
theorem proving
handheld devices