Soft Linear Logic and Polynomial Complexity Classes.

Marco Gaboardi Jean-Yves Marion Simona Ronchi Della Rocca

Published in: LSFA (2007)

Keyphrases

linear logic
tractable cases
fixed point
logical framework
complexity measures
proof theoretic
sequent calculus
logic programming
proof search
vapnik chervonenkis dimension
natural language
decision problems
polynomial hierarchy