Comparing Meseguer's rewriting logic with the logic CRWL
ISSN: 1571-0661
Année de publication: 2002
Volumen: 64
Pages: 255-276
Type: Communication dans un congrès
ISSN: 1571-0661
Année de publication: 2002
Volumen: 64
Pages: 255-276
Type: Communication dans un congrès