scientific article; zbMATH DE number 834569

zbMath0879.03005MaRDI QIDQ4860656

Jean Goubault-Larrecq

Publication date: 12 January 1998

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

first-order logicbinary decision diagramsautomated theorem-provingskolemizationfalse dependence

Mathematics Subject Classification ID

Classical first-order logic (03B10) Mechanization of proofs and logical operations (03B35)

Related Items (1)

Proving with BDDs and control of information

Uses Software

• REDUCE
• ETPS

This page was built for publication: