Prestwich, Steven

2 papers on CoChatORCID 0000-0002-6218-9158

Most cited papers

Verified
Online partial deduction of logic programs
Prestwich, S. (1993) · Proceedings of the 1993 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation - PEPM '93
Logic, programming, and type systemsLogic, Reasoning, and Knowledge
Cited by 18
Verified
An Unfold Rule for Full Prolog
Prestwich, S. (1993) · Workshops in Computing
Logic, programming, and type systemsParallel Computing and Optimization Techniques
Cited by 16

Go further with a free account

Verify every reference, keep papers in a library, and ask questions across them.

Sign up - it is free