|
Search the dblp DataBase
Ilmir Kh. Musikaev:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- 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]
- Ilmir Kh. Musikaev, Michael A. Taitslin
Limitations of the Program Memory and the Expressive Power of Dynamic Logics [Citation Graph (0, 0)][DBLP] Inf. Comput., 1993, v:103, n:2, pp:195-203 [Journal]
- Ilmir Kh. Musikaev, Michael A. Taitslin
Flat Backtracking Prolog for Databases: A Formal Semantics, the Computational Complexity and the Expressibility. [Citation Graph (0, 0)][DBLP] Int. J. Found. Comput. Sci., 1995, v:6, n:1, pp:11-26 [Journal]
Search in 0.001secs, Finished in 0.001secs
|