Difference between revisions of "Bibtex:Luc07"
From Termination-Portal.org
Jump to navigationJump to search (→BibTex) |
(→BibTex) |
||
| 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
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
