BDDIntKt

swMATH23446MaRDI QIDQ35219FDOQ35219

Author name not available (Why is that?)

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