Login / Signup
Forward and Backward Chaining in Linear Logic.
James Harland
David J. Pym
Michael Winikoff
Published in:
ARW (2000)
Keyphrases
</>
forward and backward
linear logic
proof theoretic
sequent calculus
logical framework
intuitionistic logic
desirable properties
fixed point
dynamic programming
cut elimination
logic programming
greedy search
optimization problems
natural deduction
pairwise
general purpose
object oriented
evolutionary algorithm