Difference between revisions of "Bibtex:AL07"
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> ...) |
(→BibTex) |
||
| Line 13: | Line 13: | ||
pages = {73-87}, | pages = {73-87}, | ||
address = {Liverpool, UK}, | address = {Liverpool, UK}, | ||
| + | publisher = {Springer}, | ||
| + | series = {Lecture Notes in Computer Science}, | ||
| + | volume = {4720}, | ||
Latest revision as of 15:05, 16 June 2009
BibTex
B. Alarcón, S. Lucas - Termination of Innermost Context-Sensitive Rewriting Using
Dependency Pairs
- Frontiers of Combining Systems, 6th International Symposium, FroCos'07 4720:73-87, Liverpool, UK,2007
- BibtexAuthor : B. Alarcón, S. Lucas
Title : Termination of Innermost Context-Sensitive Rewriting Using Dependency Pairs
In : Frontiers of Combining Systems, 6th International Symposium, FroCos'07 -
Address : Liverpool, UK
Date : 2007
