Termination Analysis for Tabled Logic Programming

Decorte, S., De Schreye, D., Leuschel, M., Martens, B. and Sagonas, K. (1998) Termination Analysis for Tabled Logic Programming. Proc. 7th Int. Workshop on Logic Program Synthesis and Transformation (LOPSTR), LNCS 1463 Springer-Verlag, Berlin, 111-127.


Full text not available from this repository.

Item Type: Conference or Workshop Item (UNSPECIFIED)
Additional Information: Address: Leuven, Belgium
ISBNs: 3540650741
Divisions : Faculty of Physical Sciences and Engineering > Electronics and Computer Science
ePrint ID: 250512
Accepted Date and Publication Date:
July 1998Published
Date Deposited: 14 Jun 1999
Last Modified: 27 Mar 2014 19:51
Further Information:Google Scholar
URI: http://eprints.soton.ac.uk/id/eprint/250512

Actions (login required)

View Item View Item