Conjunctive partial deduction: foundations, control, algorithms and experiments (vol 41, pg 231, 1999)

Authors
De Schreye, D Gluck, R Jorgensen, J Leuschel, M Martens, B Sorensen, MH
Citation
D. De Schreye et al., Conjunctive partial deduction: foundations, control, algorithms and experiments (vol 41, pg 231, 1999), J LOGIC PR, 43(3), 2000, pp. 265-265
Citations number
1
Categorie Soggetti
Computer Science & Engineering
Journal title
JOURNAL OF LOGIC PROGRAMMING
ISSN journal
07431066 → ACNP
Volume
43
Issue
3
Year of publication
2000
Pages
265 - 265
Database
ISI
SICI code
0743-1066(200006)43:3<265:CPDFCA>2.0.ZU;2-D