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 Fuchs, N. (ed.) At Proc. 7th Int. Workshop on Logic Program Synthesis and Transformation (LOPSTR), LNCS 1463. , pp. 111-127.

Download

Full text not available from this repository.

Item Type: Conference or Workshop Item (Other)
Additional Information: Address: Leuven, Belgium
Venue - Dates: Proc. 7th Int. Workshop on Logic Program Synthesis and Transformation (LOPSTR), LNCS 1463, 1998-07-01
Organisations: Electronics & Computer Science
ePrint ID: 250512
Date :
Date Event
July 1998Published
Date Deposited: 14 Jun 1999
Last Modified: 18 Apr 2017 00:20
Further Information:Google Scholar
URI: http://eprints.soton.ac.uk/id/eprint/250512

Actions (login required)

View Item View Item