Calcul Formel et Preuves Formelles
| Origin | Files produced by the author(s) |
|---|---|
| Licence |
| Origin | Files produced by the author(s) |
|---|---|
| Licence |
Connect in order to contact the contributor
https://hal.science/hal-04116824
Submitted on : Monday, June 5, 2023-10:20:17 AM
Last modification on : Monday, January 19, 2026-4:46:21 PM
Long-term archiving on : Wednesday, September 6, 2023-6:18:17 PM