Linear logic and polynomial time.

Published in: Math. Struct. Comput. Sci. (2006)

Keyphrases

linear logic
special case
fixed point
logic programming
proof theoretic
cut elimination
logical framework
sequent calculus
intuitionistic logic
proof search
inference rules
computational complexity
desirable properties
logic programs
answer sets
graphical models
relational databases