A Hybrid Method for finite Model Search in Equational theories
Abstract
no abstract
Journal Articles
Fundamenta Informaticae
Year : 1999
William Domingues Vinhas : Connect in order to contact the contributor
https://hal-amu.archives-ouvertes.fr/hal-01479604
Submitted on : Tuesday, February 28, 2017-8:40:10 PM
Last modification on : Friday, October 22, 2021-3:33:50 AM
Dates and versions
Identifiers
- HAL Id : hal-01479604 , version 1
Cite
Belaïd Benhamou, Laurent Henocque. A Hybrid Method for finite Model Search in Equational theories. Fundamenta Informaticae, 1999, 39, pp.21-38. ⟨hal-01479604⟩
121
View
0
Download