A Hybrid Method for finite Model Search in Equational theories
Résumé
no abstract
Article Dans Une Revue
Fundamenta Informaticae
Année : 1999
William Domingues Vinhas : Connectez-vous pour contacter le contributeur
https://amu.hal.science/hal-01479604
Soumis le : mardi 28 février 2017-20:40:10
Dernière modification le : mardi 5 décembre 2023-18:08:07
Dates et versions
Identifiants
- HAL Id : hal-01479604 , version 1
Citer
Belaïd Benhamou, Laurent Henocque. A Hybrid Method for finite Model Search in Equational theories. Fundamenta Informaticae, 1999, 39, pp.21-38. ⟨hal-01479604⟩
124
Consultations
0
Téléchargements