Decorte, S., De Schreye, D., Leuschel, M., Martens, B. and Sagonas, K. (1998) Termination Analysis for Tabled Logic Programming. Fuchs, N. (ed.) Proc. 7th Int. Workshop on Logic Program Synthesis and Transformation (LOPSTR), LNCS 1463. pp. 111-127 .
Record type:
Conference or Workshop Item
(Other)
This record has no associated files available for download.
More information
Published date: July 1998
Additional Information:
Address: Leuven, Belgium
Venue - Dates:
Proc. 7th Int. Workshop on Logic Program Synthesis and Transformation (LOPSTR), LNCS 1463, 1998-06-30
Organisations:
Electronics & Computer Science
Identifiers
Local EPrints ID: 250512
URI: http://eprints.soton.ac.uk/id/eprint/250512
ISBN: ISBN 3-540-65074-1
PURE UUID: 1e5dc0cd-6684-4fda-9b10-fa3776d12648
Catalogue record
Date deposited: 14 Jun 1999
Last modified: 08 Jan 2022 14:40
Export record
Contributors
Author:
S. Decorte
Author:
D. De Schreye
Author:
M. Leuschel
Author:
B. Martens
Author:
K. Sagonas
Editor:
N. Fuchs
Download statistics
Downloads from ePrints over the past year. Other digital versions may also be available to download e.g. from the publisher's website.