Login / Signup
Ilmir Kh. Musikaev
Publication Activity (10 Years)
Years Active: 1993-1995
Publications (10 Years): 0
</>
Publications
</>
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) (1995)
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)
Ilmir Kh. Musikaev
,
Michael A. Taitslin
Limitations of the Program Memory and the Expressive Power of Dynamic Logics
Inf. Comput.
103 (2) (1993)