Bibtex:AGL06
From Termination-Portal.org
Jump to navigationJump to searchBibTex
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