| |
| 1995 | ||
|---|---|---|
| 3 | Ilmir Kh. Musikaev, Michael A. Taitslin: Flat Backtracking Prolog for Databases: A Formal Semantics, the Computational Complexity and the Expressibility. Int. J. Found. Comput. Sci. 6(1): 11-26 (1995) | |
| 1994 | ||
| 2 | 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 | |
| 1993 | ||
| 1 | Ilmir Kh. Musikaev, Michael A. Taitslin: Limitations of the Program Memory and the Expressive Power of Dynamic Logics Inf. Comput. 103(2): 195-203 (1993) | |
| 1 | Dmitry A. Archangelsky | [2] |
| 2 | Michael I. Dekhtyar | [2] |
| 3 | Evgeny Kruglov | [2] |
| 4 | Michael A. Taitslin | [1] [3] |
| 5 | Mikhail A. Taitslin | [2] |