Bibtex:VDS10

From Termination-Portal.org
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
Retrieved from "http://termination-portal.org/mediawiki/index.php?title=Bibtex:VDS10&oldid=1116"