Login / Signup
Concurrency Problem for Horn Fragment of Girard's Linear Logic.
Dmitry A. Archangelsky
Michael I. Dekhtyar
Evgeny Kruglov
Ilmir Kh. Musikaev
Mikhail A. Taitslin
Published in:
LFCS (1994)
Keyphrases
</>
linear logic
np hard
logic programming
database systems
proof theoretic
concurrency control
logical framework
maximal tractable
fixed point
cut elimination
desirable properties
sequent calculus
proof search
propositional logic
intuitionistic logic
inference rules
higher order
computational complexity