Sciweavers

80
Voted
LFCS
1997
Springer
15 years 1 months ago
The Concurrency Complexity for the Horn Fragment of Linear Logic
The provability problem for the Horn fragment of linear logic is NP-complete [4, 1]. In this work we investigate various definitions of concurrency proposed in [2] and establish t...
Sergey Dudakov