Title: On the existence of non-terminating queries for a restricted class of Prolog-clauses
Authors: De Schreye, Danny
Bruynooghe, Maurice
Verschaetse, Christophe
Issue Date: Apr-1989
Publisher: Department of Computer Science, K.U.Leuven, Leuven, Belgium
Series Title: CW Reports vol:CW90 pages:11
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.