From Formal Proofs To Mathematical Proofs A Safe Incremental Way For Building In First Order Decision Procedures.pdf
"From formal proofs to mathematical proofs: a safe, incremental way for building in first-order decision procedures" is owned and hosted by inria.fr, this file has been downloaded 122 times, the last time was in 2025-04-17.
Frédéric Blanqui, Jean-Pierre Jouannaud, Pierre-Yves Strub is the creator of main.pdf.
The pdf has been created in 2020-09-21, if you want to preview or download it, just click the link below.
| Download | ||
| Title | From formal proofs to mathematical proofs: a safe, incremental way for building in first-order decision procedures | |
| File Name | main.pdf - 304.84 KB | |
| Pages | 18 pages | |
| Owner | inria.fr | |
| Author | Frédéric Blanqui, Jean-Pierre Jouannaud, Pierre-Yves Strub | |
| Creation date | 4 years ago | |
| Nb of downloads | 122 | |
If you are the owner and you want to remove this file from our databse, please contact us, we will remove it within 24 hours.
If "From formal proofs to mathematical proofs a safe incremental way for building in first order decision procedures" does not meet your expectations, we invite you to take a look at the similar files below :