Formalizing a fragment of combinatorics on words (Q2011632)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Formalizing a fragment of combinatorics on words |
scientific article |
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
