Title: A practical technique for detecting non-terminating queries for a restricted class of Horn Clauses, using directed, weighted graphs
Authors: De Schreye, Danny
Verschaetse, Christophe
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
ISBN: 0-262-73090-1
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.