Difference between revisions of "Bibtex:GLU08"
From Termination-Portal.org
Jump to navigationJump to search(No difference)
|
Revision as of 14:47, 16 June 2009
BibTex
Ra\'ul Guti\'errez, Salvador Lucas, Xavier Urbain - Usable Rules for Context-Sensitive Rewrite Systems
- Rewriting Techniques and Applications, 19th International Conference, RTA'08 pp. 126-141, Hagenberg, Austria,2008
- BibtexAuthor : Ra\'ul Guti\'errez, Salvador Lucas, Xavier Urbain
Title : Usable Rules for Context-Sensitive Rewrite Systems
In : Rewriting Techniques and Applications, 19th International Conference, RTA'08 -
Address : Hagenberg, Austria
Date : 2008