Leuschel, M. and Martens, B. (1995) Partial Deduction of the Ground Representation and its Application to Integrity Checking. Int. Logic Programming Symposium (ILPS). pp. 495-509 .
Record type:
Conference or Workshop Item
(Other)
This record has no associated files available for download.
More information
Published date: 1995
Venue - Dates:
Int. Logic Programming Symposium (ILPS), 1995-01-01
Organisations:
Electronics & Computer Science
Identifiers
Local EPrints ID: 253238
URI: http://eprints.soton.ac.uk/id/eprint/253238
PURE UUID: 88cd0aa0-587f-444a-8bad-c5ae842b1091
Catalogue record
Date deposited: 03 May 2000
Last modified: 10 Dec 2021 20:32
Export record
Contributors
Author:
M. Leuschel
Author:
B. Martens
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.