Difference between revisions of "Bibtex:VDS09"
From Termination-Portal.org
Jump to navigationJump to searchDean Voets (talk | contribs) (→BibTex) |
Dean Voets (talk | contribs) (→BibTex) |
||
| Line 5: | Line 5: | ||
<bibtex> | <bibtex> | ||
@inproceedings{VDS09, | @inproceedings{VDS09, | ||
| − | author = {Voets | + | 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
- BibtexAuthor : 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
