Slakje

MaRDI QIDQ45353swMATHFDO

Official website https://link.springer.com/chapter/10.1007%2F978-3-030-29026-9_20

Described by source

• Herbrand constructivization for automated intuitionistic theorem proving

Cited in

(4)

• The \textsf{nanoCoP 2.0} connection provers for classical, intuitionistic and modal logics
• GAPT
• ProofTool
• WhaleProver

This page was built for software: Slakje