Difference between revisions of "Bibtex:AGL06"

From Termination-Portal.org
Jump to navigationJump to search
Line 14: Line 14:
 
               Naveen Garg}
 
               Naveen Garg}
 
publisher = "Springer-Verlag"
 
publisher = "Springer-Verlag"
  address = "Berlin",
+
  address = "Kolkata,
 +
              India",
 
   year      = "2006",
 
   year      = "2006",
 
}
 
}

Revision as of 14:44, 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, Kolkata, India,2006
Bibtex
Author : 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 : Kolkata,
India
Date : 2006