Specialised Integrity Checking by Combining Conjunctive Partial Deduction and Abstract Interpretation


Leuschel, M. (1996) Specialised Integrity Checking by Combining Conjunctive Partial Deduction and Abstract Interpretation. Proc. Logic Databases and the Meaning of Change: Dagstuhl-Seminar-Report 157 IBFI GmbH, Schloss Dagstuhl, 18-19.

Download

Full text not available from this repository.

Item Type: Conference or Workshop Item (UNSPECIFIED)
Additional Information: Address: Schlo\ss\ Dagstuhl, Germany
ISSNs: 0940-1121
Divisions: Faculty of Physical Sciences and Engineering > Electronics and Computer Science
ePrint ID: 250606
Date Deposited: 14 Jun 1999
Last Modified: 27 Mar 2014 19:51
Further Information:Google Scholar
URI: http://eprints.soton.ac.uk/id/eprint/250606

Actions (login required)

View Item View Item