Communication Dans Un Congrès
Année : 2014
Nicolas Peltier : Connectez-vous pour contacter le contributeur
https://hal.science/hal-01132801
Soumis le : mercredi 18 mars 2015-09:10:36
Dernière modification le : mercredi 18 décembre 2024-10:12:16
Dates et versions
Identifiants
- HAL Id : hal-01132801 , version 1
Citer
Mnacho Echenim, Nicolas Peltier, Sophie Tourret. A Deductive-Complete Constrained Superposition Calculus for Ground Flat Equational Clauses. PAAR 2014, Jul 2014, Vienna, Austria. ⟨hal-01132801⟩
Collections
279
Consultations
0
Téléchargements