Titlebook: Logical Foundations of Computer Science; Third International Anil Nerode,Yu. V. Matiyasevich Conference proceedings 1994 Springer-Verlag B

最低点

保全

没血色

Computational and concurrency models of linear logic,

绿州

粘

978-3-540-58140-6Springer-Verlag Berlin Heidelberg 1994

侵略主义

Phonophobia

允许

,Concurrency problem for Horn fragment of Girard’s Linear Logic,In this paper we propose a sufficient condition for a sequence of Horn implications to be concurrent. We prove that the problem of determining of nonconcurrency of a sequence of Horn implications is .-complete.

馆长

municipality