Order-sorted Equational Unification Revisited

This paper presents a rule-based algorithm for performing order-sorted E-unification using an unsorted E-unification decision procedure under assumptions about E that are commonly satisfied in practice. We have implemented this algorithm in Maude for use with the Maude-NRL protocol analyzer and have...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	Electronic notes in theoretical computer science Jg. 290; S. 37 - 50
Hauptverfasser:	Hendrix, Joe, Meseguer, José
Format:	Journal Article
Sprache:	Englisch
Veröffentlicht:	Elsevier B.V 20.12.2012
Schlagworte:	Order-sorted unification rule-based programming Order-sorted unification rule-based programming
ISSN:	1571-0661, 1571-0661
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!