scientific article; zbMATH DE number 1254024

MaRDI QIDQ4227007zbMATH OpenFDO

Authors Maria Paola Bonacina

Publication date 23 February 1999

zbMATH Keywords

networks of workstationsPeers-mcd

Mathematics Subject Classification ID

Recommendations

• The clause-diffusion theorem prover Peers-mcd (system description)
• scientific article; zbMATH DE number 1765690
• A taxonomy of parallel strategies for deduction
• Distributing equational theorem proving

Cited in

(6)

• A taxonomy of parallel strategies for deduction
• Distributed deduction by clause-diffusion: Distributed contraction and the Aquarius prover
• Distributing the workload in a lazy theorem-prover
• scientific article; zbMATH DE number 1765690 (Why is no real title available?)
• Distributing equational theorem proving
• The clause-diffusion theorem prover Peers-mcd (system description)

Describes a project that uses

Uses Software

• OTTER

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4227007)