Ilmir Kh. Musikaev

According to our database, Ilmir Kh. Musikaev authored at least 3 papers between 1993 and 1995.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

1995

Flat Backtracking Prolog for Databases: A Formal Semantics, the Computational Complexity and the Expressibility.

Ilmir Kh. Musikaev, Michael A. Taitslin

Int. J. Found. Comput. Sci., 1995

1994

Concurrency Problem for Horn Fragment of Girard's Linear Logic.

Dmitry A. Archangelsky, Michael I. Dekhtyar, Evgeny Kruglov, Ilmir Kh. Musikaev, Mikhail A. Taitslin

Proceedings of the Logical Foundations of Computer Science, Third International Symposium, 1994

1993

Limitations of the Program Memory and the Expressive Power of Dynamic Logics

Ilmir Kh. Musikaev, Michael A. Taitslin

Inf. Comput., April, 1993