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> ...)
(No difference)

Revision as of 14:37, 16 June 2009

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
Retrieved from "http://termination-portal.org/mediawiki/index.php?title=Bibtex:AGL06&oldid=848"