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> ...) |
(→BibTex) |
||
| (One intermediate revision by the same user not shown) | |||
| Line 4: | Line 4: | ||
<!-- Please add the BibTeX data below this comment. --> | <!-- Please add the BibTeX data below this comment. --> | ||
<bibtex> | <bibtex> | ||
| − | @inproceedings{ | + | @inproceedings{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}, |
| − | + | booktitle = {9th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, PPDP'07}, | |
| − | booktitle = { | ||
| − | |||
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} | ||
} | } | ||
Latest revision as of 15:10, 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
- BibtexAuthor : 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
