Unification and narrowing in maude 2.4
- Clavel, M.
- Durán, F.
- Eker, S.
- Escobar, S.
- Lincoln, P.
- Martí-Oliet, N.
- Meseguer, J.
- Talcott, C.
ISSN: 0302-9743, 1611-3349
ISBN: 9783642023477
Datum der Publikation: 2009
Ausgabe: 5595 LNCS
Seiten: 380-390
Art: Konferenz-Beitrag