Login / Signup
Linear Logic by Levels and Bounded Time Complexity
Patrick Baillot
Damiano Mazza
Published in:
CoRR (2008)
Keyphrases
</>
linear logic
desirable properties
graphical models
cut elimination
proof theoretic
worst case
fixed point
natural language
computational complexity
relational databases
logic programming
logical framework