Partial Deduction of the Ground Representation and its Application to Integrity Checking
Leuschel, M. and Martens, B. (1995) Partial Deduction of the Ground Representation and its Application to Integrity Checking. Int. Logic Programming Symposium (ILPS) MIT Press, Boston, 495-509.
Download
Full text not available from this repository.
| Item Type: | Conference or Workshop Item (UNSPECIFIED) |
|---|---|
| Divisions: | Faculty of Physical and Applied Science > Electronics and Computer Science |
| Item ID: | 253238 |
| Date Deposited: | 03 May 2000 |
| Last Modified: | 02 Mar 2012 13:41 |
| Contributors: | Leuschel, M. (Author) Martens, B. (Author) |
| Date: | 1995 |
| Status: | Published |
| Publisher: | MIT Press, Boston |
| Further Information: | Google Scholar |
| URI: | http://eprints.soton.ac.uk/id/eprint/253238 |
Actions (login required)
 |
View Item |
