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.

Download

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
Date Deposited: 14 Jun 1999
Last Modified: 27 Mar 2014 19:51
Publisher: Springer-Verlag, Berlin
Further Information:Google Scholar
URI: http://eprints.soton.ac.uk/id/eprint/250512

Actions (login required)

View Item View Item