Combined Abstract Congruence Closure for Associative or Commutative Theories - Department of Formal methods
Communication Dans Un Congrès Année : 2024

Combined Abstract Congruence Closure for Associative or Commutative Theories

Domaines

Informatique [cs]
Fichier principal
Vignette du fichier
short-paper.pdf (265.04 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
licence
Paternité

Christophe Ringeissen  : Connectez-vous pour contacter le contributeur

https://inria.hal.science/hal-04778271

Soumis le : mardi 12 novembre 2024-16:03:01

Dernière modification le : mercredi 13 novembre 2024-03:19:05

Télécharger pour visualiser

Dates et versions

hal-04778271 , version 1 (12-11-2024)

Licence

Paternité

Identifiants

  • HAL Id : hal-04778271 , version 1

Citer

Christophe Ringeissen, Laurent Vigneron. Combined Abstract Congruence Closure for Associative or Commutative Theories. 38th International Workshop on Unification, Jul 2024, Nancy, France. ⟨hal-04778271⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

CNRS INRIA UNIV-LORRAINE INRIA2 LORIA LORIA-FM
0 Consultations
0 Téléchargements

Partager

More