On Delphi lemmas and other memoing techniques for...

The Journal of Logic Programming 1997 Vol. 30; Iss. 2

On Delphi lemmas and other memoing techniques for deterministic logic programs

Paul Tarau, Koen De Bosschere, Bart Demoen
How much do you like this book?
What’s the quality of the file?
Download the book for quality assessment
What’s the quality of the downloaded files?
Volume:
30
Year:
1997
Pages:
19
DOI:
10.1016/s0743-1066(96)00105-7
File:
PDF, 852 KB
1997
Conversion to is in progress
Conversion to is failed