Bibtex:AGL06

From Termination-Portal.org
Revision as of 14:37, 16 June 2009 by Balarcon (talk | contribs) (New page: <!-- remove this line if this is not a new publication --> == BibTex == <!-- Please add the BibTeX data below this comment. --> <bibtex> ...)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigationJump to search

BibTex

Beatriz Alarc{\'o}n,

Ra{\'u}l Guti{\'e}rrez, 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{\'o}n, Ra{\'u}l Guti{\'e}rrez, 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