Difference between revisions of "Bibtex:Luc07"

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> ...)
 
Line 6: Line 6:
 
@inproceedings{DBLP:conf/ppdp/Lucas07,
 
@inproceedings{DBLP:conf/ppdp/Lucas07,
 
   author    = {Salvador Lucas},
 
   author    = {Salvador Lucas},
   title    = {Practical use of polynomials over the reals in proofs of
+
   title    = {Practical use of polynomials over the reals in proofs of termination},
              termination},
+
   booktitle = {9th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, PPDP'07},
   booktitle = {Proceedings of the 9th International ACM SIGPLAN Conference
 
              on Principles and Practice of Declarative Programming, PPDP'07},
 
 
   year      = {2007},
 
   year      = {2007},
 
   pages    = {39-50},
 
   pages    = {39-50},
 
   publisher = {ACM},
 
   publisher = {ACM},
 
address = {Wroclaw, Poland},
 
address = {Wroclaw, Poland},
 +
  isbn      = {978-1-59593-769-8}
 
}
 
}
  

Revision as of 15:08, 16 June 2009

BibTex

Salvador Lucas - Practical use of polynomials over the reals in proofs of termination

9th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, PPDP'07 pp. 39-50, Wroclaw, Poland,2007
Bibtex
Author : Salvador Lucas
Title : Practical use of polynomials over the reals in proofs of termination
In : 9th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, PPDP'07 -
Address : Wroclaw, Poland
Date : 2007