Bibtex:Luc07: Difference between revisions
| 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 termination}, | title = {Practical use of polynomials over the reals in proofs of termination}, | ||
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>