Search the dblp DataBase

Publications of Author

1. Dmitry A. Archangelsky, Mikhail A. Taitslin
   A Logic for Data Description. [Citation Graph (0, 0)][DBLP]
   Logic at Botik, 1989, pp:2-11 [Conf]
   
2. Mikhail A. Taitslin, D. Arkhangelsky
   The Other Linear Logic (Invited Paper). [Citation Graph (0, 0)][DBLP]
   Formal Methods in Programming and Their Applications, 1993, pp:251-255 [Conf]
   
3. 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]
   
4. Dmitry A. Archangelsky, Mikhail A. Taitslin
   Modular Linear Logic. [Citation Graph (0, 0)][DBLP]
   LFCS, 1992, pp:1-8 [Conf]
   
5. 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]
   
6. 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]
   
7. 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]