Difference between revisions of "Bibtex:AGL06"
From Termination-Portal.org
Jump to navigationJump to search (→BibTex) |
(→BibTex) |
||
| Line 5: | Line 5: | ||
<bibtex> | <bibtex> | ||
@inproceedings{AGL06, | @inproceedings{AGL06, | ||
| − | author = "B. Alarcó | + | author = "B. Alarcón, |
| − | R. Guti | + | R. Gutiérrez and |
S. Lucas", | S. Lucas", | ||
title = "Context-Sensitive Dependency Pairs", | title = "Context-Sensitive Dependency Pairs", | ||
Revision as of 14:42, 16 June 2009
BibTex
B. Alarcón,
R. Gutiérrez, S. Lucas - Context-Sensitive Dependency Pairs
- 26th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'06 pp. 297-308, Berlin,2006
- BibtexAuthor : B. Alarcón, R. Gutiérrez, S. Lucas
Title : Context-Sensitive Dependency Pairs
In : 26th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'06 -
Address : Berlin
Date : 2006
