completely reachable automata 1computational complexity 1digraph labeling 1np-completeness 1road coloring 1
From the 1 of 6 linked papers with an AI index.
Showing math.GRShow all
2 papers · 1 filter
math.GR2025
Identities of triangular Boolean matrices
Mikhail V. Volkov
We give a combinatorial characterization of the identities holding in the semiring of all upper triangular Boolean -matrices and apply the characterization to computatio…
math.GR2025
Embedding lattices of quasivarieties of periodic groups into lattices of additively idempotent semiring varieties: An algebraic proof
Miaomiao Ren, Xianzhong Zhao, Mikhail V. Volkov
A general result by Jackson (Flat algebras and the translation of universal Horn logic to equational logic, J. Symb. Log. 73(1) (2008) 90--128) implies that the lattice of all quas…