Comparing Meseguer's rewriting logic with the logic CRWL
ISSN: 1571-0661
Datum der Publikation: 2002
Ausgabe: 64
Seiten: 255-276
Art: Konferenz-Beitrag
ISSN: 1571-0661
Datum der Publikation: 2002
Ausgabe: 64
Seiten: 255-276
Art: Konferenz-Beitrag