Difference between revisions of "Bibtex:VDS09"
From Termination-Portal.org
Jump to navigationJump to searchDean Voets (talk | contribs) (Created page with ' <!-- remove this line if this is not a new publication --> == BibTex == <!-- Please add the BibTeX data below this comment. -->…') |
Dean Voets (talk | contribs) (→BibTex) |
||
| Line 4: | Line 4: | ||
<!-- Please add the BibTeX data below this comment. --> | <!-- Please add the BibTeX data below this comment. --> | ||
<bibtex> | <bibtex> | ||
| + | @inproceedings{VDS09, | ||
author = {Voets, Dean and Schreye, Danny}, | author = {Voets, Dean and Schreye, Danny}, | ||
title = {A New Approach to Non-termination Analysis of Logic Programs}, | title = {A New Approach to Non-termination Analysis of Logic Programs}, | ||
| 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. --> | ||
Revision as of 15:21, 5 July 2010
BibTex
Voets, Dean, Schreye, Danny - 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
- BibtexAuthor : Voets, Dean, Schreye, Danny
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
