Generalized Rewrite Theories (2003)

by Roberto Bruni , Jose Meseguer
Venue:PROC. 30TH INTERNATIONAL COLLOQUIUM ON AUTOMATA, LANGUAGES AND PROGRAMMING (ICALP 2003), VOLUME 2719 OF LECTURE NOTES IN COMPUTER SCIENCE
Citations:35 - 15 self