Conjunctive Partial Deduction: Foundations, Control, Algorithms, and Experiments
Conjunctive Partial Deduction: Foundations, Control, Algorithms, and Experiments
231-277
De Schreye, D.
523aef1c-5b91-4f14-9f80-8f0208119256
Glück, R.
943f4096-3d61-42f2-88cf-b5c12889f5ce
Jörgensen, J.
de9bc25a-8ef3-49c9-80d9-0a5dd417328b
Leuschel, M.
6d6fd7ab-c48a-47ea-bf36-f667cef2c629
Martens, B.
70539492-f7e7-4188-aa9c-5dca8752dfce
S{\o}rensen, M. H.
060b392e-794c-4dc6-9ab5-32c0846e6f56
November 1999
De Schreye, D.
523aef1c-5b91-4f14-9f80-8f0208119256
Glück, R.
943f4096-3d61-42f2-88cf-b5c12889f5ce
Jörgensen, J.
de9bc25a-8ef3-49c9-80d9-0a5dd417328b
Leuschel, M.
6d6fd7ab-c48a-47ea-bf36-f667cef2c629
Martens, B.
70539492-f7e7-4188-aa9c-5dca8752dfce
S{\o}rensen, M. H.
060b392e-794c-4dc6-9ab5-32c0846e6f56
De Schreye, D., Glück, R., Jörgensen, J., Leuschel, M., Martens, B. and S{\o}rensen, M. H.
(1999)
Conjunctive Partial Deduction: Foundations, Control, Algorithms, and Experiments.
The Journal of Logic Programming, 41 (2&3), .
This record has no associated files available for download.
More information
Published date: November 1999
Organisations:
Electronics & Computer Science
Identifiers
Local EPrints ID: 250489
URI: http://eprints.soton.ac.uk/id/eprint/250489
PURE UUID: 7b2f1b47-ba93-4b11-84ef-ee2cd330c4ce
Catalogue record
Date deposited: 13 Aug 1999
Last modified: 07 Jan 2022 23:54
Export record
Contributors
Author:
D. De Schreye
Author:
R. Glück
Author:
J. Jörgensen
Author:
M. Leuschel
Author:
B. Martens
Author:
M. H. S{\o}rensen
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.
View more statistics