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

Wim Vanhoof, Maurice Bruynooghe

Research output: Contribution to journalArticle

Original languageEnglish
Pages (from-to)129-147
Number of pages19
Journal.Logic-based Program Synthesis and Transformation, 11th International Workshop, LOPSTR 2001
Volume2372
Publication statusPublished - 2002

Cite this