Bibtex:GLU08

From Termination-Portal.org
Jump to navigationJump to search

BibTex

R. Gutiérrez, S. Lucas, X. Urbain - Usable Rules for Context-Sensitive Rewrite Systems

Rewriting Techniques and Applications, 19th International Conference, RTA'08 pp. 126-141, Hagenberg, Austria,2008
Bibtex
Author : R. Gutiérrez, S. Lucas, X. Urbain
Title : Usable Rules for Context-Sensitive Rewrite Systems
In : Rewriting Techniques and Applications, 19th International Conference, RTA'08 -
Address : Hagenberg, Austria
Date : 2008