Comparing Meseguer's rewriting logic with the logic CRWL
Aldizkaria:
Electronic Notes in Theoretical Computer Science
ISSN: 1571-0661
Argitalpen urtea: 2002
Alea: 64
Orrialdeak: 255-276
Mota: Biltzar ekarpena