Combinatorics_Words

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