swMATH10405MaRDI QIDQ22366FDOQ22366
Author name not available (Why is that?)
Official website: http://link.springer.com/chapter/10.1007%2F978-3-662-43652-3_26
Cited In (12)
- 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
- Integrating simplex with tableaux
This page was built for software: BWare
