Polytool: Polynomial interpretations as a basis for termination analysis of logic programs.

Saved in:

Bibliographic Details
Title:	Polytool: Polynomial interpretations as a basis for termination analysis of logic programs.
Authors:	NGUYEN, MANH THANG¹, DE SCHREYE, DANNY¹, GIESL, JÜRGEN², SCHNEIDER-KAMP, PETER³
Source:	Theory & Practice of Logic Programming. 01/01/2011, Vol. 11 Issue 1, p33-63. 31p.
Database:	Mathematics Source

Description
ISSN:	14710684
DOI:	10.1017/S1471068410000025