Principles for a judgement editor based on binary decision diagrams

MaRDI QIDQ5869635zbMATH OpenFDO

Authors Guillaume Aucher, Jean Berbinau, Marie-Laure Morin

Publication date 28 September 2022

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Recommendations

• BDDs -- design, analysis, complexity, and applications.
• Binary decision diagrams for first-order predicate logic.
• Binary decision diagrams
• scientific article; zbMATH DE number 1390338
• scientific article; zbMATH DE number 1759447

Cited in

(1)

• scientific article; zbMATH DE number 1973875 (Why is no real title available?)

This page was built for publication: Principles for a judgement editor based on binary decision diagrams

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5869635)