Leuschel, M. (1996) Specialised Integrity Checking by Combining Conjunctive Partial Deduction and Abstract Interpretation. Bocca, J., Decker, H. and Voronkov, A. (eds.) Proc. Logic Databases and the Meaning of Change: Dagstuhl-Seminar-Report 157. pp. 18-19 .
Record type:
Conference or Workshop Item
(Other)
This record has no associated files available for download.
More information
Published date: 1996
Additional Information:
Address: Schlo\ss\ Dagstuhl, Germany
Venue - Dates:
Proc. Logic Databases and the Meaning of Change: Dagstuhl-Seminar-Report 157, 1996-01-01
Organisations:
Electronics & Computer Science
Identifiers
Local EPrints ID: 250606
URI: http://eprints.soton.ac.uk/id/eprint/250606
PURE UUID: 1ba43e99-a8e0-4f31-889d-84140379b2e8
Catalogue record
Date deposited: 14 Jun 1999
Last modified: 10 Dec 2021 20:10
Export record
Contributors
Author:
M. Leuschel
Editor:
J. Bocca
Editor:
H. Decker
Editor:
A. Voronkov
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.