Mikhail Rybakov

Identifiers

• name variant Mikhail Rybakov 0.50 · backfill

Papers (2)

1. Complexity and Expressivity of Branching- and Alternating-Time Temporal Logics with Finitely Many Variables cs.LO · 2018 · author #1
2. On complexity of propositional Linear-time Temporal Logic with finitely many variables cs.LO · 2017 · author #1

Mentions

No mention provenance yet.

Frequent Coauthors

• Dmitry Shkatov 2 shared papers