swMATH43884MaRDI QIDQ5972880FDOQ5972880
Author name not available (Why is that?)
Official website: https://www.isa-afp.org/entries/Combinatorics_Words.html
Cited In (14)
- Lyndon words
- Binary_Code_Imprimitive
- Binary codes that do not preserve primitivity
- Szpilrajn Extension
- Lyndon words formalized in Isabelle/HOL
- Upper bounds on distinct maximal (sub-)repetitions in compressed strings
- Formalizing a fragment of combinatorics on words
- Binary intersection formalized
- Word equations in the context of string solving
- Free Groups
- Coq-Combi
- The intersection of \(3\)-maximal submonoids
- ZaligVinder
- CertiStr
This page was built for software: Combinatorics_Words
