Prime Implicate Generation in Equational Logic - Archive ouverte HAL Accéder directement au contenu
Article Dans Une Revue Journal of Artificial Intelligence Research Année : 2017

Prime Implicate Generation in Equational Logic

Mnacho Echenim
Nicolas Peltier
Fichier non déposé

Dates et versions

hal-01946538 , version 1 (06-12-2018)

Identifiants

  • HAL Id : hal-01946538 , version 1

Citer

Mnacho Echenim, Nicolas Peltier, Sophie Tourret. Prime Implicate Generation in Equational Logic. Journal of Artificial Intelligence Research, 2017, 60, pp.827-880. ⟨hal-01946538⟩
19 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More