C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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