Comparing Meseguer's rewriting logic with the logic CRWL
Revista:
Electronic Notes in Theoretical Computer Science
ISSN: 1571-0661
Any de publicació: 2002
Volum: 64
Pàgines: 255-276
Tipus: Aportació congrés