Search the dblp DataBase

Publications of Author

1. Michael I. Dekhtyar, Alexander Ja. Dikovsky, Mars K. Valiev
   Applying Temporal Logic to Analysis of Behavior of Cooperating Logic Programs. [Citation Graph (0, 0)][DBLP]
   Ershov Memorial Conference, 1999, pp:228-234 [Conf]
   
2. Michael I. Dekhtyar, Alexander Ja. Dikovsky, Mars K. Valiev
   Complexity of Multi-agent Systems Behavior. [Citation Graph (0, 0)][DBLP]
   JELIA, 2002, pp:125-136 [Conf]
   
3. Mars K. Valiev
   On axiomatization of process logic. [Citation Graph (0, 0)][DBLP]
   Logic of Programs, 1980, pp:304-313 [Conf]
   
4. Mars K. Valiev
   On Polynomial Reducibility of Word Problem Under Embedding of Recursively Presented Groups in Finitely Presented Groups. [Citation Graph (0, 0)][DBLP]
   MFCS, 1975, pp:432-438 [Conf]
   
5. Mars K. Valiev
   Real Time Computations with Restrictions on Tape Alphabet. [Citation Graph (0, 0)][DBLP]
   MFCS, 1977, pp:532-536 [Conf]
   
6. Mars K. Valiev
   On Axiomatization of Deterministic Propositional Dynamic Logic. [Citation Graph (0, 0)][DBLP]
   MFCS, 1979, pp:482-491 [Conf]
   
7. Mars K. Valiev
   Decision Complexity of Variants of Propositional Dynamic Logic. [Citation Graph (0, 0)][DBLP]
   MFCS, 1980, pp:656-664 [Conf]
   
8. Michael I. Dekhtyar, Alexander Ja. Dikovsky, Mars K. Valiev
   On complexity of verification of interacting agents' behavior. [Citation Graph (0, 0)][DBLP]
   Ann. Pure Appl. Logic, 2006, v:141, n:3, pp:336-362 [Journal]
   
9. Michael I. Dekhtyar, Alexander Ja. Dikovsky, Mars K. Valiev
   On feasible cases of checking multi-agent systems behavior. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 2003, v:1, n:303, pp:63-81 [Journal]
   
10. Mars K. Valiev
    Product 1 over 1-Universality of Some Propositional Logics of Concurrent Programs. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1993, v:119, n:1, pp:223-232 [Journal]
    
11. 
    Temporal Verification of Probabilistic Multi-Agent Systems. [Citation Graph (, )][DBLP]