Difference between revisions of "Bibtex:AGL06"
From Termination-Portal.org
Jump to navigationJump to search (→BibTex) |
(→BibTex) |
||
| Line 11: | Line 11: | ||
booktitle = "26th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'06 ", | booktitle = "26th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'06 ", | ||
pages = "297-308", | pages = "297-308", | ||
| + | editor = {S. Arun-Kumar and | ||
| + | Naveen Garg} | ||
publisher = "Springer-Verlag" | publisher = "Springer-Verlag" | ||
address = "Berlin", | address = "Berlin", | ||
Revision as of 14:43, 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
