When size does matter - Termination analysis for typed logic programs.

Wim Vanhoof, Maurice Bruynooghe

Research output: Contribution in Book/Catalog/Report/Conference proceeding › Conference contribution

Original language	English
Title of host publication	Logic-based Program Synthesis and Transformation, 11th International Workshop, LOPSTR 2001
Pages	129-147
Number of pages	19
Volume	2372
Publication status	Published - 2002

Name	.Logic-based Program Synthesis and Transformation, 11th International Workshop, LOPSTR 2001

Cite this

@inproceedings{fe049e41abf94564833570a1f94db67e,

title = "When size does matter - Termination analysis for typed logic programs.",

author = "Wim Vanhoof and Maurice Bruynooghe",

year = "2002",

language = "English",

volume = "2372",

series = ".Logic-based Program Synthesis and Transformation, 11th International Workshop, LOPSTR 2001",

pages = "129--147",

booktitle = "Logic-based Program Synthesis and Transformation, 11th International Workshop, LOPSTR 2001",

}

When size does matter - Termination analysis for typed logic programs. / Vanhoof, Wim; Bruynooghe, Maurice.
Logic-based Program Synthesis and Transformation, 11th International Workshop, LOPSTR 2001. Vol. 2372 2002. p. 129-147 (.Logic-based Program Synthesis and Transformation, 11th International Workshop, LOPSTR 2001).

Research output: Contribution in Book/Catalog/Report/Conference proceeding › Conference contribution

TY - GEN

T1 - When size does matter - Termination analysis for typed logic programs.

AU - Vanhoof, Wim

AU - Bruynooghe, Maurice

PY - 2002

Y1 - 2002

M3 - Conference contribution

VL - 2372

T3 - .Logic-based Program Synthesis and Transformation, 11th International Workshop, LOPSTR 2001

SP - 129

EP - 147

BT - Logic-based Program Synthesis and Transformation, 11th International Workshop, LOPSTR 2001

ER -