1994 | ||
---|---|---|
1 | Dmitry A. Archangelsky, Michael I. Dekhtyar, Evgeny Kruglov, Ilmir Kh. Musikaev, Mikhail A. Taitslin: Concurrency Problem for Horn Fragment of Girard's Linear Logic. LFCS 1994: 18-22 |
1 | Dmitry A. Archangelsky | [1] |
2 | Michael I. Dekhtyar | [1] |
3 | Ilmir Kh. Musikaev | [1] |
4 | Mikhail A. Taitslin | [1] |