𝔖 Bobbio Scriptorium
✦   LIBER   ✦

On Delphi lemmas and other memoing techniques for deterministic logic programs

✍ Scribed by Paul Tarau; Koen De Bosschere; Bart Demoen


Publisher
Elsevier Science
Year
1997
Tongue
English
Weight
852 KB
Volume
30
Category
Article
ISSN
0743-1066

No coin nor oath required. For personal study only.