Hierarchical Combination of Unification Algorithms

Serdar Erbatur 1 Deepak Kapur 2 Andrew Marshall 3 Paliath Narendran 4 Christophe Ringeissen 5
5 CASSIS - Combination of approaches to the security of infinite states systems
FEMTO-ST - Franche-Comté Électronique Mécanique, Thermique et Optique - Sciences et Technologies (UMR 6174), Inria Nancy - Grand Est, LORIA - FM - Department of Formal Methods
Abstract : A critical question in unification theory is how to obtain a unification algorithm for the combination of non-disjoint equational theories when there exists unification algorithms for the constituent theories. The problem is known to be difficult and can easily be seen to be undecidable in the general case. Therefore, previous work has focused on identifying specific conditions and methods in which the problem is decidable. We continue the investigation in this paper, building on previous combination results. We are able to develop a novel approach to the non-disjoint combination problem. The approach is based on a new set of restrictions and combination method such that if the restrictions are satisfied the method produces an algorithm for the unification problem in the union of non-disjoint equational theories.
Type de document :
Communication dans un congrès
The 27th International Workshop on Unification (UNIF 2013), Jun 2013, Eindhoven, Netherlands. 2013
Liste complète des métadonnées

Littérature citée [7 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-00920509
Contributeur : Christophe Ringeissen <>
Soumis le : mercredi 18 décembre 2013 - 15:52:28
Dernière modification le : vendredi 6 juillet 2018 - 15:06:10
Document(s) archivé(s) le : mercredi 19 mars 2014 - 05:52:01

Fichier

Hierarchical.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-00920509, version 1

Citation

Serdar Erbatur, Deepak Kapur, Andrew Marshall, Paliath Narendran, Christophe Ringeissen. Hierarchical Combination of Unification Algorithms. The 27th International Workshop on Unification (UNIF 2013), Jun 2013, Eindhoven, Netherlands. 2013. 〈hal-00920509〉

Partager

Métriques

Consultations de la notice

272

Téléchargements de fichiers

120