scientific article; zbMATH DE number 1330428

zbMATH Open0925.03078MaRDI QIDQ4261069FDOQ4261069

Authors: Joachim Posegga, Bertram Ludäscher 

Publication date: 2 September 1999

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

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35)

Cited In (2)

• Binary decision diagrams for first-order predicate logic.
• Non-clausal redundancy properties

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