Lyndon words

swMATH42006MaRDI QIDQ5974221FDOQ5974221

Author name not available (Why is that?)

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

Described by source

• Lyndon words formalized in Isabelle/HOL

Cited In (3)

• Combinatorics_Words
• Szpilrajn Extension
• Coq-Combi

This page was built for software: Lyndon words