Combinatorics_Words
From MaRDI portal
Software:5972880
No author found.
Related Items (7)
Lyndon words formalized in Isabelle/HOL ⋮ Upper bounds on distinct maximal (sub-)repetitions in compressed strings ⋮ Word equations in the context of string solving ⋮ Binary intersection formalized ⋮ Formalizing a fragment of combinatorics on words ⋮ The intersection of \(3\)-maximal submonoids ⋮ Binary codes that do not preserve primitivity
This page was built for software: Combinatorics_Words
