Semantic anti-unification in general algebras
SEMANTIC ANTI-UNIFICATION IN GENERAL ALGEBRAS
Résumé
Motivated by recent applications to analogical reasoning, this paper initiates a semantic theory of anti-unification within general algebras.
Fichier principal
230521-semantic_anti-unification_in_general_algebras.pdf (130.52 Ko)
Télécharger le fichier
Origine | Fichiers produits par l'(les) auteur(s) |
---|