The Complexity of Horn Fragments of Linear Logic.

Max I. Kanovich

Published in: Ann. Pure Appl. Log. (1994)

Keyphrases

linear logic
np hard
artificial intelligence
logic programming
propositional logic
sequent calculus
proof search
computational complexity
inference rules