On Anti-unification in Absorption Theories - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2023

On Anti-unification in Absorption Theories

Résumé

The anti-unification problem for theories with absorption constants and operators such as zero for product or true and false for disjunction and conjuction is addressed. A proved sound algorithm that computes generalizations is introduced. Although the problem is at least of type infinitary, the algorithm computes a finite set of final configurations from which the least general generalizations are built.
Fichier principal
Vignette du fichier
UNIF_2023_paper_6.pdf (349.15 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Licence : CC BY - Paternité

Dates et versions

hal-04128203 , version 1 (14-06-2023)

Licence

Paternité

Identifiants

  • HAL Id : hal-04128203 , version 1

Citer

Andrés Felipe González Barragán, David M. Cerna, Mauricio Ayala-Rincón, Temur Kutsia. On Anti-unification in Absorption Theories. UNIF 2023 - 37th International Workshop on Unification, Veena Ravishankar; Christophe Ringeissen, Jul 2023, Rome, Italy. ⟨hal-04128203⟩

Collections

UNIF2023
40 Consultations
12 Téléchargements

Partager

Gmail Facebook X LinkedIn More