The following pages link to Combinatorics_Words (Q5972880):
Displaying 7 items.
- Lyndon words formalized in Isabelle/HOL (Q832940) (← links)
- Upper bounds on distinct maximal (sub-)repetitions in compressed strings (Q832954) (← links)
- Formalizing a fragment of combinatorics on words (Q2011632) (← links)
- The intersection of \(3\)-maximal submonoids (Q2067614) (← links)
- Binary codes that do not preserve primitivity (Q2104527) (← links)
- Word equations in the context of string solving (Q2163975) (← links)
- Binary intersection formalized (Q2662679) (← links)