Mars K. Valiev
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
2
Active years
1975–2002
Best venue rank
B
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2002 | JELIA | Complexity of Multi-agent Systems Behavior. | Michael I. Dekhtyar, Alexander Ja. Dikovsky, Mars K. Valiev |
| 1980 | MFCS | Decision Complexity of Variants of Propositional Dynamic Logic. | Mars K. Valiev |
| 1979 | MFCS | On Axiomatization of Deterministic Propositional Dynamic Logic. | Mars K. Valiev |
| 1977 | MFCS | Real Time Computations with Restrictions on Tape Alphabet. | Mars K. Valiev |
| 1975 | MFCS | On Polynomial Reducibility of Word Problem Under Embedding of Recursively Presented Groups in Finitely Presented Groups. | Mars K. Valiev |