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

最低點(diǎn)

保全

沒血色

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