๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

Deductive foundation and analytic propositions

โœ Scribed by Ludwik Borkowski

Publisher
Springer Netherlands
Year
1966
Tongue
English
Weight
856 KB
Volume
19
Category
Article
ISSN
0039-3215

No coin nor oath required. For personal study only.

๐Ÿ“œ SIMILAR VOLUMES

Conjunctive partial deduction: foundatio
Conjunctive partial deduction: foundations, control, algorithms, and experiments
โœ Danny De Schreye; Robert Glรผck; Jesper Jรธrgensen; Michael Leuschel; Bern Martens ๐Ÿ“‚ Article ๐Ÿ“… 1999 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 381 KB

Partial deduction in the LloydยฑShepherdson framework cannot achieve certain optimisations which are possible by unfold/fold transformations. We introduce conjunctive partial deduction, an extension of partial deduction accommodating such optimisations, e.g., tupling and deforestation. We ยฎrst presen