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

Wim Vanhoof; Maurice Bruynooghe

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

Wim Vanhoof, Maurice Bruynooghe

Faculte d'informatique

Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article dans les actes d'une conférence/un colloque

langue originale	Anglais
titre	Logic-based Program Synthesis and Transformation, 11th International Workshop, LOPSTR 2001
Pages	129-147
Nombre de pages	19
Volume	2372
Etat de la publication	Publié - 2002

Série de publications

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

Contient cette citation

@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).

Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article dans les actes d'une conférence/un colloque

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 -