BDDIntKt

MaRDI QIDQ35219swMATHFDO

Official website https://link.springer.com/chapter/10.1007%2F978-3-642-38574-2_19

Described by source

• An improved BDD method for intuitionistic propositional logic: BDDIntKt system description

Cited in

(2)

• fCube
• Imogen

This page was built for software: BDDIntKt