Formalizing a fragment of combinatorics on words (Q2011632)
From MaRDI portal
| This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Formalizing a fragment of combinatorics on words |
scientific article; zbMATH DE number 6756745
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Formalizing a fragment of combinatorics on words |
scientific article; zbMATH DE number 6756745 |
Statements
Formalizing a fragment of combinatorics on words (English)
0 references
4 August 2017
0 references
formalization
0 references
periodicity
0 references
combinatorics on words
0 references
automated theorem proving
0 references