Leuschel, M. (1998) Improving Homeomorphic Embedding for Online Termination. Flener, P. (ed.) Proc. 8th Int. Workshop on Logic Program Synthesis and Transformation (LOPSTR), LNCS 1559. pp. 199-218 .
Record type:
Conference or Workshop Item
(Other)
This record has no associated files available for download.
More information
Published date: June 1998
Additional Information:
Address: Manchester, UK
Venue - Dates:
Proc. 8th Int. Workshop on Logic Program Synthesis and Transformation (LOPSTR), LNCS 1559, 1998-05-31
Organisations:
Electronics & Computer Science
Identifiers
Local EPrints ID: 250529
URI: http://eprints.soton.ac.uk/id/eprint/250529
PURE UUID: 8d21dc96-fab2-4414-9d8c-c78df778dc58
Catalogue record
Date deposited: 14 Jun 1999
Last modified: 08 Jan 2022 11:43
Export record
Contributors
Author:
M. Leuschel
Editor:
P. Flener
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.