Volkov, Mikhail V.
- Using Sat solvers for synchronization issues in partial deterministic automata
2019/03/25 by Shabana, Hanan, Volkov, Mikhail V. · 1 citation
#68Q45 #FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL)
- Identities of the stylic monoid
2022/06/18 by Mikhail V. Volkov, Volkov, Mikhail V. · 1 citation
Arts and Humanities · Computer Science · #20M05 20M07 #FOS: Mathematics #Group Theory (math.GR) #Natural Language Processing Techniques #Translation Studies and Practices #semigroups and automata theory
- Remark on the identities of the grammic monoid with three generators
2022/10/12 by Mikhail V. Volkov, Volkov, Mikhail V. · 1 citation
Computer Science · #semigroups and automata theory #Natural Language Processing Techniques #Advanced Algebra and Logic
- Catalan monoids inherently nonfinitely based relative to finite R-trivial semigroups
2022/11/23 by Olga Sapir, Mikhail V. Volkov, Sapir, Olga B. +1 · 1 citation
Computer Science · #20M07 #FOS: Mathematics #Group Theory (math.GR) #semigroups and automata theory
- Identities of triangular Boolean matrices
2024/12/20 by Volkov, Mikhail V. · 1 citation
#20M07 16Y60 68Q17 68Q45 #Combinatorics (math.CO) #FOS: Mathematics #Group Theory (math.GR)
- Don's conjecture for binary completely reachable automata: an approach and its limitations
2023/10/31 by David Casas, Casas, David, Mikhail V. Volkov +1 · 1 citation
Computer Science · #68Q45 #FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL) #Formal Methods in Verification #Machine Learning and Algorithms #semigroups and automata theory