Quantifier-Free Equational Logic and Prime Implicate Generation - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2015

Quantifier-Free Equational Logic and Prime Implicate Generation

Fichier non déposé

Dates et versions

hal-01363987 , version 1 (12-09-2016)

Identifiants

Citer

Mnacho Echenim, Nicolas Peltier, Sophie Tourret. Quantifier-Free Equational Logic and Prime Implicate Generation. CADE-25, Jul 2015, Berlin, Germany. pp.311-325, ⟨10.1007/978-3-319-21401-6_21⟩. ⟨hal-01363987⟩
61 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More