The Complexity of Neutrals in Linear Logic

Max I. Kanovich

Published in: LICS (1995)

Keyphrases

linear logic
fixed point
logic programming
computational complexity
machine learning
relational databases
logical framework
cut elimination
object oriented
general purpose
decision problems