scientific article; zbMATH DE number 1389652

zbMATH Open0951.68144MaRDI QIDQ4934145FDOQ4934145

Authors:

Publication date: 17 January 2000

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

Recommendations

• Local simplification
• Maximal completion
• General \(E\)-unification with eager variable elimination and a nice cycle rule
• Efficient deduction in equality Horn logic by Horn-completion
• scientific article; zbMATH DE number 3956434

zbMATH Keywords

\(E\)-cycle simplification

Mathematics Subject Classification ID

Cited In (1)

• Title not available (Why is that?)

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