Lyndon words formalized in Isabelle/HOL (Q832940): Difference between revisions

@@ Property / describes a project that uses @@
+Combinatorics_Words
@@ Property / describes a project that uses: Combinatorics_Words / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Szpilrajn Extension
@@ Property / describes a project that uses: Szpilrajn Extension / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Isabelle/HOL
@@ Property / describes a project that uses: Isabelle/HOL / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Archive Formal Proofs
@@ Property / describes a project that uses: Archive Formal Proofs / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-030-81508-0_18
+Normal rank
@@ Property / OpenAlex ID @@
+W3193153727
@@ Property / OpenAlex ID: W3193153727 / rank @@
+Normal rank
@@ Property / cites work @@
+Mining the Archive of Formal Proofs
@@ Property / cites work: Mining the Archive of Formal Proofs / rank @@
+Normal rank
@@ Property / cites work @@
+A new characterization of maximal repetitions by Lyndon trees
+Normal rank
@@ Property / cites work @@
+Hammering towards QED
@@ Property / cites work: Hammering towards QED / rank @@
+Normal rank
@@ Property / cites work @@
+Universal Lyndon Words
@@ Property / cites work: Universal Lyndon Words / rank @@
+Normal rank
@@ Property / cites work @@
+On generalized Lyndon words
@@ Property / cites work: On generalized Lyndon words / rank @@
+Normal rank
@@ Property / cites work @@
+Génération d'une section des classes de conjugaison et arbre des mots de Lyndon de longueur bornée. (Generation of a section of conjugation classes and trees of Lyndon words of bounded length)
+Normal rank
@@ Property / cites work @@
+Necklaces of beads in k colors and k-ary de Bruijn sequences
+Normal rank
@@ Property / cites work @@
+Without Loss of Generality
@@ Property / cites work: Without Loss of Generality / rank @@
+Normal rank
@@ Property / cites work @@
+Binary intersection formalized
@@ Property / cites work: Binary intersection formalized / rank @@
+Normal rank
@@ Property / cites work @@
+Formalizing a fragment of combinatorics on words
@@ Property / cites work: Formalizing a fragment of combinatorics on words / rank @@
+Normal rank
@@ Property / cites work @@
+A survey of languages for formalizing mathematics
@@ Property / cites work: A survey of languages for formalizing mathematics / rank @@
+Normal rank
@@ Property / cites work @@
+Q4341774
@@ Property / cites work: Q4341774 / rank @@
+Normal rank
@@ Property / cites work @@
+On Burnside's Problem
@@ Property / cites work: On Burnside's Problem / rank @@
+Normal rank
@@ Property / cites work @@
+D Lyndon words and applications
@@ Property / cites work: 2D Lyndon words and applications / rank @@
+Normal rank
@@ Property / cites work @@
+Type Reconstruction for Type Classes
@@ Property / cites work: Type Reconstruction for Type Classes / rank @@
+Normal rank
@@ Property / cites work @@
+Q4003339
@@ Property / cites work: Q4003339 / rank @@
+Normal rank
@@ Property / cites work @@
+Formalizing Arrow's theorem
@@ Property / cites work: Formalizing Arrow's theorem / rank @@
+Normal rank