Hierarchical Combination

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, Inria Nancy - Grand Est, LORIA - FM - Department of Formal Methods
Abstract : A novel approach is described for the combination of unification algorithms for two equational theories E 1 and E 2 which share function symbols. We are able to identify a set of restrictions and a combination method such that if the restrictions are satisfied the method produces a unification algorithm for the union of non-disjoint equational theories. Furthermore, we identify a class of theories satisfying the restrictions. The critical characteristics of the class is the hierarchical organization and the shared symbols being restricted to "inner constructors".
Type de document :
Communication dans un congrès
Maria Paola Bonacina. CADE-24 - 24th International Conference on Automated Deduction - 2013, Jun 2013, Lake Placid, United States. Springer, 7898, pp.249-266, 2013, 〈10.1007/978-3-642-38574-2_17〉
Liste complète des métadonnées

https://hal.inria.fr/hal-00878649
Contributeur : Christophe Ringeissen <>
Soumis le : mercredi 30 octobre 2013 - 14:21:38
Dernière modification le : jeudi 15 février 2018 - 08:48:14

Identifiants

Citation

Serdar Erbatur, Deepak Kapur, Andrew Marshall, Paliath Narendran, Christophe Ringeissen. Hierarchical Combination. Maria Paola Bonacina. CADE-24 - 24th International Conference on Automated Deduction - 2013, Jun 2013, Lake Placid, United States. Springer, 7898, pp.249-266, 2013, 〈10.1007/978-3-642-38574-2_17〉. 〈hal-00878649〉

Partager

Métriques

Consultations de la notice

177