Combinatorics_Words

MaRDI QIDQ5972880swMATHFDO

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

Cited in

(14)

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

This page was built for software: Combinatorics_Words