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 and Applied Science > Electronics and Computer Science |
| Item ID: | 250606 |
| Date Deposited: | 14 Jun 1999 |
| Last Modified: | 02 Mar 2012 14:01 |
| Contributors: | Leuschel, M. (Author) Bocca, J. (Editor) Decker, H. (Editor) Voronkov, A. (Editor) |
| Date: | 1996 |
| Additional Information: | Address: Schlo\ss\ Dagstuhl, Germany |
| Status: | Published |
| Publisher: | IBFI GmbH, Schloss Dagstuhl |
| Further Information: | Google Scholar |
| URI: | http://eprints.soton.ac.uk/id/eprint/250606 |
Actions (login required)
 |
View Item |
