Combinatorics_Words

MaRDI QIDQ5972880swMATHFDO

Official website https://www.isa-afp.org/entries/Combinatorics_Words.html

Cited in

(14)

• Lyndon words
• Binary_Code_Imprimitive
• Szpilrajn Extension
• Word equations in the context of string solving
• Binary intersection formalized
• Lyndon words formalized in Isabelle/HOL
• Upper bounds on distinct maximal (sub-)repetitions in compressed strings
• Free Groups
• Coq-Combi
• Binary codes that do not preserve primitivity
• ZaligVinder
• CertiStr
• The intersection of \(3\)-maximal submonoids
• Formalizing a fragment of combinatorics on words

This page was built for software: Combinatorics_Words