scientific article; zbMATH DE number 1090101

zbMATH Open0912.03007MaRDI QIDQ4366602FDOQ4366602

Reiner Hähnle, Neil V. Murray, Erik Rosenthal

Publication date: 3 May 1999

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

zbMATH Keywords

negation normal formcompleteness proofsnonclausal inference systemsregular connected tableaux

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35)

Cited In (1)

• Linearity and regularity with negation normal form

   Recommendations

• Linearity and regularity with negation normal form 👍 👎
• The Completeness of Propositional Resolution: A Simple and Constructive Proof 👍 👎
• A-ordered tableaux 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• 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 Q4366602)