Title: A framework for analysing the termination of definite logic programs with respect to call patterns
Authors: De Schreye, Danny
Verschaetse, Christophe
Bruynooghe, Maurice #
Issue Date: 1992
Host Document: Fifth Generation Computer Systems '92: Proceedings of the International Conference on Fifth Generation Computer Systems pages:481-488
Conference: International Conference on Fifth Generation Computer Systems location:Tokyo, Japan date:1-5 June 1992
ISBN: 90-5199-099-5
Publication status: published
KU Leuven publication type: IC
Appears in Collections:Informatics Section
# (joint) last author

Files in This Item:

There are no files associated with this item.

Request a copy


All items in Lirias are protected by copyright, with all rights reserved.

© Web of science