| 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) |
