From Termination-Portal.org
|
|
| (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{DBLP:conf/ppdp/Lucas07, | | @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}, |
| 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} |
| } | | } |
|
| |
|
Latest revision as of 15:10, 16 June 2009
BibTex
<bibtex>
@inproceedings{Lucas07,
author = {Salvador Lucas},
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},
year = {2007},
pages = {39-50},
publisher = {ACM},
address = {Wroclaw, Poland},
isbn = {978-1-59593-769-8}
}
</bibtex>
