Login / Signup
Computational and Concurrency Aspects of Linear Logic.
Max I. Kanovich
Published in:
IFIP Congress (1) (1994)
Keyphrases
</>
linear logic
fixed point
computational models
desirable properties
computational systems
intuitionistic logic
pairwise
logic programming
proof theoretic
concurrency control
logical framework
database systems
np hard
natural deduction