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 : jeudi 4 avril 2024-18:17:29
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
57
Consultations
0
Téléchargements