Dmitry A. Archangelsky

Publication Activity (10 Years)

Years Active: 1989-1997
Publications (10 Years): 0

Publications

Dmitry A. Archangelsky, Mikhail A. Taitslin
A Logic for Information Systems. Stud Logica 58 (1) (1997)
Dmitry A. Archangelsky, Michael I. Dekhtyar, Mikhail A. Taitslin
Linear Logic for Nets with Bounded Resources. Ann. Pure Appl. Log. 78 (1-3) (1996)
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)
Dmitry A. Archangelsky, Mikhail A. Taitslin
Linear Logic with Fixed Resources. Ann. Pure Appl. Log. 67 (1-3) (1994)
Dmitry A. Archangelsky, Mikhail A. Taitslin
Modular Linear Logic. LFCS (1992)
Dmitry A. Archangelsky, Mikhail A. Taitslin
A Logic for Data Description. Logic at Botik (1989)