BWare

MaRDI QIDQ22366swMATHFDO

Official website http://link.springer.com/chapter/10.1007%2F978-3-662-43652-3_26

Cited in

(12)

• Integrating simplex with tableaux
• Zenon Modulo: When Achilles Outruns the Tortoise Using Deduction Modulo
• First-order automated reasoning with theories: when deduction modulo theory meets practice
• Zenon
• FoCaLiZe
• CoqMT
• JSetL
• Focalide
• CoqInE
• An Automation-Friendly Set Theory for the B Method
• Automated reasoning with restricted intensional sets
• Soundly proving B method formulæ using typed sequent calculus

This page was built for software: BWare