Combinatorics on Words Basics

MaRDI QIDQ7361313FDO

Authors Štěpán Holub, Martin Raška, Štěpán Starosta

Publication date 24 May 2021

Cites work

• A proof strategy language and proof script generation for Isabelle/HOL
• Alternative proof of the Lyndon-Schützenberger theorem
• Unnamed Publication
• Unnamed Publication
• Unnamed Publication
• Unnamed Publication
• Periodicity and unbordered segments of words
• Periodicity and unbordered words
• Sur le théorème du defaut
• The equation \(a_ M=b^ Nc^ P\) in a free group
• Uniqueness Theorems for Periodic Functions

Cited in

(4)

• Intersection of two monoids generated by two element codes
• Lyndon words
• Binary codes that do not preserve primitivity
• Graph Lemma

This page was built for software: Combinatorics on Words Basics