scientific article; zbMATH DE number 4108190

zbMATH Open0676.68054MaRDI QIDQ3832079FDOQ3832079

Authors: Barbara Demo, M. Porta, Maria Luisa Sapino 

Publication date: 1989

Title of this publication is not available (Why is that?)

Recommendations

• scientific article; zbMATH DE number 4049156
• Comparison of methods for logic-query implementation
• Multi-way counting method
• scientific article; zbMATH DE number 4053071
• History and basic features of the critical-pair/completion procedure

zbMATH Keywords

logic programminglogic databasescounting rewriting methodset of Horn clauses

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35)

Cited In (1)

• Multi-way counting method

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 Q3832079)