A New Correctness Criterion for The Proof Nets of Non-Commutative Multiplicative Linear Logics.

Misao Nagayama Mitsuhiro Okada

Published in: J. Symb. Log. (2001)

Keyphrases

correctness criterion
linear logic
integrity constraints
concurrency control
transaction management
theorem proving
multidatabase systems
replicated databases
multi dimensional
data warehousing