Distributed Larch Prover (DLP): An Experiment in Parallelizing a Rewrite-Rule Based Prover.

Mark T. Vandevoorde Deepak Kapur

Published in: RTA (1996)

Keyphrases

theorem proving
theorem prover
automated theorem proving
distributed systems
expert systems
lightweight
distributed environment
data sets
mobile agents
distributed database systems
communication cost
rule base
parallel processing
privacy preserving
data driven
cooperative
case study
metadata