Bibtex:VDS10

From Termination-Portal.org
Jump to: navigation, 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
Personal tools