Difference between revisions of "Bibtex:VDS10"

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. -->…')
 
(No difference)

Latest revision as of 15:29, 5 July 2010

BibTex

Dean Voets, Danny De Schreye - Non-termination Analysis of Logic Programs using Types

LOPSTR 2010, to appear pp. ?,2010
Bibtex
Author : Dean Voets, Danny De Schreye
Title : Non-termination Analysis of Logic Programs using Types
In : LOPSTR 2010, to appear -
Address :
Date : 2010
Retrieved from "http://termination-portal.org/mediawiki/index.php?title=Bibtex:VDS10&oldid=1116"