|ITEM METADATA RECORD
|Title: ||A practical technique for detecting non- terminating queries for a restricted class of Hornclauses, using directed, weighted graphs|
|Authors: ||De Schreye, Danny|
|Issue Date: ||Mar-1990 |
|Publisher: ||Department of Computer Science, K.U.Leuven, Leuven, Belgium|
|Series Title: ||CW Reports vol:CW109 pages:15|
|Publication status: ||published|
|KU Leuven publication type: ||IR|
|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.