Difference between revisions of "Bibtex:VDS09"

From Termination-Portal.org
Jump to navigationJump to search
 
Line 5: Line 5:
 
<bibtex>
 
<bibtex>
 
@inproceedings{VDS09,
 
@inproceedings{VDS09,
  author = {Voets, Dean and Schreye, Danny},
+
  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},

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