| 1997 |
|---|
| 7 | | Dmitry A. Archangelsky,
Mikhail A. Taitslin:
A Logic for Information Systems.
Studia Logica 58(1): 3-16 (1997) |
| 1996 |
|---|
| 6 | | Dmitry A. Archangelsky,
Michael I. Dekhtyar,
Mikhail A. Taitslin:
Linear Logic for Nets with Bounded Resources.
Ann. Pure Appl. Logic 78(1-3): 3-28 (1996) |
| 1994 |
|---|
| 5 | | 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 |
| 4 | | Dmitry A. Archangelsky,
Mikhail A. Taitslin:
Linear Logic with Fixed Resources.
Ann. Pure Appl. Logic 67(1-3): 3-28 (1994) |
| 1993 |
|---|
| 3 | | Mikhail A. Taitslin,
D. Arkhangelsky:
The Other Linear Logic (Invited Paper).
Formal Methods in Programming and Their Applications 1993: 251-255 |
| 1992 |
|---|
| 2 | | Dmitry A. Archangelsky,
Mikhail A. Taitslin:
Modular Linear Logic.
LFCS 1992: 1-8 |
| 1989 |
|---|
| 1 | | Dmitry A. Archangelsky,
Mikhail A. Taitslin:
A Logic for Data Description.
Logic at Botik 1989: 2-11 |
