|ITEM METADATA RECORD
|Title: ||A practical technique for detecting non-terminating queries for a restricted class of Horn Clauses, using directed, weighted graphs|
|Authors: ||De Schreye, Danny|
Bruynooghe, Maurice #
|Issue Date: ||1990 |
|Publisher: ||MIT Press|
|Host Document: ||Logic Programming : Proceedings of the Seventh International Conference pages:649-663|
|Conference: ||Seventh International Conference on Logic Programming location:Jerusalem, Israel date:June 18-20, 1990|
|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.