Bibtex:VDS10

From Termination-Portal.org
Revision as of 15:29, 5 July 2010 by Dean 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. -->…')
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigationJump to search

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