Paths-based criteria and application to linear logic subsystems characterizing polynomial time.

Matthieu Perrinel

Published in: Inf. Comput. (2018)

Keyphrases

linear logic
relational databases
fixed point
cut elimination
computational complexity
object oriented
shortest path
sequent calculus