BWare

swMATH10405MaRDI QIDQ22366FDOQ22366

Author name not available (Why is that?)

Cited In (6)

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

This page was built for software: BWare