✦ LIBER ✦

R63-56 Disjunctively Linear Logic Nets

✍ Scribed by Coates, C.L.

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Proof nets sequentialisation in multipli

✍ Paolo Di Giamberardino; Claudia Faggian 📂 Article 📅 2008 🏛 Elsevier Science 🌐 English ⚖ 551 KB

Proof-search and Proof Nets in Mixed Lin

✍ D. Galmiche; J.M. Notin 📂 Article 📅 2000 🏛 Elsevier Science 🌐 English ⚖ 254 KB

Planar and braided proof-nets for multip

✍ G. Bellin; A. Fleury 📂 Article 📅 1998 🏛 Springer 🌐 English ⚖ 241 KB

Real-time scheduling of batch systems us

✍ Michel dos Santos Soares; Stéphane Julia; Jos Vrancken 📂 Article 📅 2008 🏛 Elsevier Science 🌐 English ⚖ 502 KB

[Lecture Notes in Computer Science] The

✍ Moot, Richard; Retoré, Christian 📂 Article 📅 2012 🏛 Springer Berlin Heidelberg ⚖ 590 KB

A New Correctness Criterion for the Proo

✍ Misao Nagayama and Mitsuhiro Okada 📂 Article 📅 2001 🏛 Association for Symbolic Logic 🌐 English ⚖ 826 KB