A New Correctness Criterion for Cyclic Proof Nets.

V. Michele Abrusci Elena Maringelli

Published in: J. Log. Lang. Inf. (1998)

Keyphrases

correctness criterion
linear logic
integrity constraints
transaction management
multidatabase systems
concurrency control
data replication
correctness criteria
replicated databases
desirable properties
sufficient conditions
logic programming
logical framework