Article Dans Une Revue
Archive of Formal Proofs
Année : 2016
Nicolas Peltier : Connectez-vous pour contacter le contributeur
https://hal.science/hal-01383903
Soumis le : mercredi 19 octobre 2016-13:29:30
Dernière modification le : mercredi 18 décembre 2024-10:10:47
Dates et versions
Identifiants
- HAL Id : hal-01383903 , version 1
Citer
Nicolas Peltier. A Variant of the Superposition Calculus.. Archive of Formal Proofs, 2016. ⟨hal-01383903⟩
Collections
63
Consultations
0
Téléchargements