Open AccessRewriting Logic Systems
Author(s) -
Grit Denker,
Carolyn Talcott,
Grigore Roşu,
Mark van den Brand,
Steven Eker,
Traian Florin Şerbănuţă
Publication year - 2007
Publication title -
electronic notes in theoretical computer science
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.242
H-Index - 60
ISSN - 1571-0661
DOI - 10.1016/j.entcs.2007.06.018
Subject(s) - rewriting , programming language , computer science , confluence , theoretical computer science
We present an overview of rewriting-based systems that were presented at the workshop
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom