Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.
Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.
Maria Paola Bonacina, Jieh Hsiang. The Clause-Diffusion Methodology for Distributed Deduction. Fundamenta Informaticae, 24(1/2):177-207, 1995.
Possibly Related PublicationsThe following publications are possibly variants of this publication: Distributed Deduction by Clause-Diffusion: The Aquarius ProverMaria Paola Bonacina, Jieh Hsiang. disco 1993: 272-287 Distributed Deduction by Clause-Diffusion: Distributed Contraction and the Aquarius ProverMaria Paola Bonacina, Jieh Hsiang. JSC, 19(1-3):245-267, 1995. On Fairness in Distributed Automated DeductionMaria Paola Bonacina, Jieh Hsiang. STACS 1993: 141-152
The following publications are possibly variants of this publication: