Rewriting logic: Roadmap and bibliography

  1. Martí-Oliet, N.
  2. Meseguer, J.
Aldizkaria:
Theoretical Computer Science

ISSN: 0304-3975

Argitalpen urtea: 2002

Alea: 285

Zenbakia: 2

Orrialdeak: 121-154

Mota: Artikulua

DOI: 10.1016/S0304-3975(01)00357-7 GOOGLE SCHOLAR lock_openSarbide irekia editor
Datuen iturria: Scopus