BWare

swMATH10405MaRDI QIDQ22366FDOQ22366

Author name not available (Why is that?)

Cited In (6)

• Zenon Modulo: When Achilles Outruns the Tortoise Using Deduction Modulo
• Soundly Proving B Method Formulæ Using Typed Sequent Calculus
• Integrating Simplex with Tableaux
• 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

This page was built for software: BWare