This PhD thesis comprises four main contributions: an abstract framework for theorem proving, a methodology for parallel theorem proving in a distributed environment, termed deduction by Clause-Diffusion, a study of special topics in distributed deduction with contraction and an implementation, the theorem prover Aquarius, of the Clause-Diffusion methodology.
Distributed automated deduction
BONACINA, Maria Paola
1992-01-01
Abstract
This PhD thesis comprises four main contributions: an abstract framework for theorem proving, a methodology for parallel theorem proving in a distributed environment, termed deduction by Clause-Diffusion, a study of special topics in distributed deduction with contraction and an implementation, the theorem prover Aquarius, of the Clause-Diffusion methodology.
File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
