From formal proofs to mathematical proofs: A safe, incremental way for building in first-order decision procedures (2008)

Cached

Download Links

by Fréderic Blanqui , Jean-pierre Jouannaud , Pierre-yves Strub
Venue:In TCS 2008: 5th IFIP International Conference on Theoretical Computer Science
Citations:11 - 0 self