|
Search the dblp DataBase
Dmitry A. Archangelsky:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Dmitry A. Archangelsky, Mikhail A. Taitslin
A Logic for Data Description. [Citation Graph (0, 0)][DBLP] Logic at Botik, 1989, pp:2-11 [Conf]
- Dmitry A. Archangelsky, Michael I. Dekhtyar, Evgeny Kruglov, Ilmir Kh. Musikaev, Mikhail A. Taitslin
Concurrency Problem for Horn Fragment of Girard's Linear Logic. [Citation Graph (0, 0)][DBLP] LFCS, 1994, pp:18-22 [Conf]
- Dmitry A. Archangelsky, Mikhail A. Taitslin
Modular Linear Logic. [Citation Graph (0, 0)][DBLP] LFCS, 1992, pp:1-8 [Conf]
- Dmitry A. Archangelsky, Michael I. Dekhtyar, Mikhail A. Taitslin
Linear Logic for Nets with Bounded Resources. [Citation Graph (0, 0)][DBLP] Ann. Pure Appl. Logic, 1996, v:78, n:1-3, pp:3-28 [Journal]
- Dmitry A. Archangelsky, Mikhail A. Taitslin
Linear Logic with Fixed Resources. [Citation Graph (0, 0)][DBLP] Ann. Pure Appl. Logic, 1994, v:67, n:1-3, pp:3-28 [Journal]
- Dmitry A. Archangelsky, Mikhail A. Taitslin
A Logic for Information Systems. [Citation Graph (0, 0)][DBLP] Studia Logica, 1997, v:58, n:1, pp:3-16 [Journal]
Search in 0.003secs, Finished in 0.003secs
|