Difference between revisions of "Bibtex:VDS09"

From Termination-Portal.org
Jump to navigationJump to search
(Created page with ' <!-- remove this line if this is not a new publication --> == BibTex == <!-- Please add the BibTeX data below this comment. -->…')
 
 
(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>
  author = {Voets, Dean and Schreye, Danny},
+
@inproceedings{VDS09,
 +
  author = {Dean Voets and Danny De Schreye},
 
  title = {A New Approach to Non-termination Analysis of Logic Programs},
 
  title = {A New Approach to Non-termination Analysis of Logic Programs},
 
  booktitle = {ICLP '09: Proceedings of the 25th International Conference on Logic Programming},
 
  booktitle = {ICLP '09: Proceedings of the 25th International Conference on Logic Programming},
Line 13: Line 14:
 
  doi = {http://dx.doi.org/10.1007/978-3-642-02846-5_21},
 
  doi = {http://dx.doi.org/10.1007/978-3-642-02846-5_21},
 
  publisher = {Springer-Verlag},
 
  publisher = {Springer-Verlag},
  address = {Berlin, Heidelberg},
+
  address = {Berlin, Heidelberg}
 +
}
 +
 
 
</bibtex><!-- If you want to add some additional information to the reference page, you can do so after this comment. -->
 
</bibtex><!-- If you want to add some additional information to the reference page, you can do so after this comment. -->

Latest revision as of 15:22, 5 July 2010

BibTex

Dean Voets, Danny De Schreye - A New Approach to Non-termination Analysis of Logic Programs

ICLP '09: Proceedings of the 25th International Conference on Logic Programming pp. 220--234, Berlin, Heidelberg,2009
Bibtex
Author : Dean Voets, Danny De Schreye
Title : A New Approach to Non-termination Analysis of Logic Programs
In : ICLP '09: Proceedings of the 25th International Conference on Logic Programming -
Address : Berlin, Heidelberg
Date : 2009