Redundant Argument Filtering of Logic Programs
Redundant Argument Filtering of Logic Programs
ISBN 3-540-62718-9
83-103
Leuschel, M.
6d6fd7ab-c48a-47ea-bf36-f667cef2c629
Sørensen, M. H.
e6aa69cd-bf56-48ec-9454-9117a3a0e926
Gallagher, J.
6b9b8d95-c9f6-4bc1-9fb6-cf93f8ad33bf
August 1996
Leuschel, M.
6d6fd7ab-c48a-47ea-bf36-f667cef2c629
Sørensen, M. H.
e6aa69cd-bf56-48ec-9454-9117a3a0e926
Gallagher, J.
6b9b8d95-c9f6-4bc1-9fb6-cf93f8ad33bf
Leuschel, M. and Sørensen, M. H.
(1996)
Redundant Argument Filtering of Logic Programs.
Gallagher, J.
(ed.)
Proc. 6th Int. Workshop on Logic Program Synthesis and Transformation (LOPSTR), LNCS 1207.
.
Record type:
Conference or Workshop Item
(Other)
This record has no associated files available for download.
More information
Published date: August 1996
Additional Information:
Address: Stockholm, Sweden
Venue - Dates:
Proc. 6th Int. Workshop on Logic Program Synthesis and Transformation (LOPSTR), LNCS 1207, 1996-07-31
Organisations:
Electronics & Computer Science
Identifiers
Local EPrints ID: 250601
URI: http://eprints.soton.ac.uk/id/eprint/250601
ISBN: ISBN 3-540-62718-9
PURE UUID: 136790a2-0f98-4ac9-8a96-a24cb0a71678
Catalogue record
Date deposited: 14 Jun 1999
Last modified: 10 Dec 2021 20:10
Export record
Contributors
Author:
M. Leuschel
Author:
M. H. Sørensen
Editor:
J. Gallagher
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.
View more statistics