Difference between revisions of "Bibtex:AGL06"

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{AGL06,
 
@inproceedings{AGL06,
   author    = "Beatriz Alarc{\'o}n,
+
   author    = "Beatriz Alarc\'on,
               Ra{\'u}l Guti{\'e}rrez and
+
               Ra\'ul Guti\'errez and
 
               Salvador Lucas",
 
               Salvador Lucas",
 
   title    = "Context-Sensitive Dependency Pairs",
 
   title    = "Context-Sensitive Dependency Pairs",

Revision as of 14:38, 16 June 2009

BibTex

Beatriz Alarc\'on,

Ra\'ul Guti\'errez, Salvador Lucas - Context-Sensitive Dependency Pairs

26th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'06 pp. 297-308, Berlin,2006
Bibtex
Author : Beatriz Alarc\'on, Ra\'ul Guti\'errez, Salvador Lucas
Title : Context-Sensitive Dependency Pairs
In : 26th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'06 -
Address : Berlin
Date : 2006