|ITEM METADATA RECORD
|Title: ||A framework for analysing the termination of definite logic programs with respect to call patterns|
|Authors: ||De Schreye, Danny|
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|
|Publication status: ||published|
|KU Leuven publication type: ||IC|
|Appears in Collections:||Informatics Section|
|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