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 Sciences and Engineering > Electronics and Computer Science
ePrint ID: 253238
Date Deposited: 03 May 2000
Last Modified: 27 Mar 2014 19:55
Further Information:Google Scholar
URI: http://eprints.soton.ac.uk/id/eprint/253238

Actions (login required)

View Item View Item