A Deductive-Complete Constrained Superposition Calculus for Ground Flat Equational Clauses - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2014

A Deductive-Complete Constrained Superposition Calculus for Ground Flat Equational Clauses

Mnacho Echenim
Laboratoire d'Informatique de Grenoble
CV
Nicolas Peltier
Calculs algorithmes programmes et preuves
CV
Sophie Tourret
Calculs algorithmes programmes et preuves

Domaines

Logique en informatique [cs.LO]

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 : jeudi 4 avril 2024-18:19:07

Fichier non déposé

Dates et versions

hal-01132801 , version 1 (18-03-2015)

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⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UGA CNRS LIG LIG_MFML_CAPP LIG_SIDCH
269 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More