scientific article; zbMATH DE number 512823

zbMath0792.68160MaRDI QIDQ4281516

Maria Paola Bonacina, Jieh Hsiang

Publication date: 10 March 1994

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

theorem provingdistributed algorithmsmessage-passingdistributed automated deductionuniform fairness

Mathematics Subject Classification ID

Distributed algorithms (68W15)

Related Items

On subsumption in distributed derivations, Distributing equational theorem proving, Canonicity1 1This research was supported in part by the Israel Science Foundation (grant no. 254/01).