Difference between revisions of "Bibtex:GLU08"
From Termination-Portal.org
Jump to navigationJump to search (→BibTex) |
(→BibTex) |
||
(One intermediate revision by the same user not shown) | |||
Line 4: | Line 4: | ||
<!-- Please add the BibTeX data below this comment. --> | <!-- Please add the BibTeX data below this comment. --> | ||
<bibtex> | <bibtex> | ||
− | @inproceedings{ | + | @inproceedings{GLU08, |
− | author = {R. Gutiérrez | + | author = {R. Gutiérrez, S. Lucas and 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 |
Latest revision as of 15:04, 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
- BibtexAuthor : 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