Difference between revisions of "Bibtex:GLU08"

From Termination-Portal.org
Jump to navigationJump to search
(New page: <!-- remove this line if this is not a new publication --> == BibTex == <!-- Please add the BibTeX data below this comment. --> <bibtex> ...)
 
Line 5: Line 5:
 
<bibtex>
 
<bibtex>
 
@inproceedings{DBLP:conf/rta/GutierrezLU08,
 
@inproceedings{DBLP:conf/rta/GutierrezLU08,
   author    = {Ra{\'u}l Guti{\'e}rrez and
+
   author    = {R. Guti&eacute;rrez and
               Salvador Lucas and
+
               S. Lucas and
               Xavier Urbain},
+
               X. Urbain},
 
   title    = {Usable Rules for Context-Sensitive Rewrite Systems},
 
   title    = {Usable Rules for Context-Sensitive Rewrite Systems},
 
   booktitle = {Rewriting Techniques and Applications, 19th International
 
   booktitle = {Rewriting Techniques and Applications, 19th International

Revision as of 14:48, 16 June 2009

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