Login / Signup
Controlling program extraction in Elementary Linear Logic
Marc Lasson
Published in:
CoRR (2010)
Keyphrases
</>
linear logic
proof theoretic
fixed point
sequent calculus
cut elimination
desirable properties
logic programming
information extraction
test cases
logical framework
proof search
probabilistic model
np hard
sufficient conditions
temporal reasoning
inference rules