Ilmir Kh. Musikaev Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
DBLP keys1995
j2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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
c1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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
j1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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)

Coauthor Index

1Dmitry A. Archangelsky
[c1]
2Michael I. Dekhtyar
[c1]
3Evgeny Kruglov
[c1]
4Michael A. Taitslin
[j2] [j1]
5Mikhail A. Taitslin
[c1]
Home | Conferences | Journals | Series | FAQ — Search: Faceted | Free | Complete | Author
Last update Sun May 19 09:22:12 2013 CET by the DBLP Team — This material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page