scientific article

zbMATH Open0738.03007MaRDI QIDQ3976574

Christian G. Fermüller

Publication date: 26 June 1992

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

zbMATH Keywords

resolutionHorn clausedecision method

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Mechanization of proofs and logical operations (03B35)

Related Items (1)

On renaming a set of clauses as a Horn set

Recommendations

• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• On generalized Horn formulas and \(k\)-resolution 👍 👎
• Read-once resolutions in Horn formulas 👍 👎
• Combinatorial Problems for Horn Clauses 👍 👎

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