Comparing Meseguer's rewriting logic with the logic CRWL
ISSN: 1571-0661
Año de publicación: 2002
Volumen: 64
Páginas: 255-276
Tipo: Aportación congreso
ISSN: 1571-0661
Año de publicación: 2002
Volumen: 64
Páginas: 255-276
Tipo: Aportación congreso