最低点 发表于 2025-3-25 06:04:07

http://reply.papertrans.cn/59/5882/588141/588141_21.png

保全 发表于 2025-3-25 09:33:02

http://reply.papertrans.cn/59/5882/588141/588141_22.png

没血色 发表于 2025-3-25 14:39:52

Computational and concurrency models of linear logic,

绿州 发表于 2025-3-25 17:30:28

http://reply.papertrans.cn/59/5882/588141/588141_24.png

发表于 2025-3-25 21:43:01

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

侵略主义 发表于 2025-3-26 00:50:25

http://reply.papertrans.cn/59/5882/588141/588141_26.png

Phonophobia 发表于 2025-3-26 07:31:43

http://reply.papertrans.cn/59/5882/588141/588141_27.png

允许 发表于 2025-3-26 11:35:36

,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.

馆长 发表于 2025-3-26 13:03:05

http://reply.papertrans.cn/59/5882/588141/588141_29.png

municipality 发表于 2025-3-26 20:49:51

http://reply.papertrans.cn/59/5882/588141/588141_30.png
页: 1 2 [3] 4 5 6 7
查看完整版本: Titlebook: Logical Foundations of Computer Science; Third International Anil Nerode,Yu. V. Matiyasevich Conference proceedings 1994 Springer-Verlag B