77 results
The first-order theory of binary overlap-free words is decidable
- Part of
-
- Journal:
- Canadian Journal of Mathematics , First View
- Published online by Cambridge University Press:
- 26 May 2023, pp. 1-19
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
2 - Words and sequences
-
- Book:
- The Logical Approach to Automatic Sequences
- Published online:
- 09 September 2022
- Print publication:
- 29 September 2022, pp 10-31
-
- Chapter
- Export citation
8 - First-order formulas for fundamental sequence properties
-
- Book:
- The Logical Approach to Automatic Sequences
- Published online:
- 09 September 2022
- Print publication:
- 29 September 2022, pp 113-192
-
- Chapter
- Export citation
6 - First-order logic and automatic sequences
-
- Book:
- The Logical Approach to Automatic Sequences
- Published online:
- 09 September 2022
- Print publication:
- 29 September 2022, pp 82-95
-
- Chapter
- Export citation
7 - Using Walnut
-
- Book:
- The Logical Approach to Automatic Sequences
- Published online:
- 09 September 2022
- Print publication:
- 29 September 2022, pp 96-112
-
- Chapter
- Export citation
Permissions
-
- Book:
- The Logical Approach to Automatic Sequences
- Published online:
- 09 September 2022
- Print publication:
- 29 September 2022, pp xiv-xvi
-
- Chapter
- Export citation
10 - Synchronized sequences
-
- Book:
- The Logical Approach to Automatic Sequences
- Published online:
- 09 September 2022
- Print publication:
- 29 September 2022, pp 237-302
-
- Chapter
- Export citation
Bibliography
-
- Book:
- The Logical Approach to Automatic Sequences
- Published online:
- 09 September 2022
- Print publication:
- 29 September 2022, pp 330-349
-
- Chapter
- Export citation
Contents
-
- Book:
- The Logical Approach to Automatic Sequences
- Published online:
- 09 September 2022
- Print publication:
- 29 September 2022, pp vii-x
-
- Chapter
- Export citation
1 - Introduction
-
- Book:
- The Logical Approach to Automatic Sequences
- Published online:
- 09 September 2022
- Print publication:
- 29 September 2022, pp 1-9
-
- Chapter
- Export citation
Index
-
- Book:
- The Logical Approach to Automatic Sequences
- Published online:
- 09 September 2022
- Print publication:
- 29 September 2022, pp 350-358
-
- Chapter
- Export citation
11 - Additive number theory
-
- Book:
- The Logical Approach to Automatic Sequences
- Published online:
- 09 September 2022
- Print publication:
- 29 September 2022, pp 303-315
-
- Chapter
- Export citation
13 - A final word
-
- Book:
- The Logical Approach to Automatic Sequences
- Published online:
- 09 September 2022
- Print publication:
- 29 September 2022, pp 327-329
-
- Chapter
- Export citation
Preface
-
- Book:
- The Logical Approach to Automatic Sequences
- Published online:
- 09 September 2022
- Print publication:
- 29 September 2022, pp xi-xiii
-
- Chapter
- Export citation
Frontmatter
-
- Book:
- The Logical Approach to Automatic Sequences
- Published online:
- 09 September 2022
- Print publication:
- 29 September 2022, pp i-vi
-
- Chapter
- Export citation
5 - Automatic sequences
-
- Book:
- The Logical Approach to Automatic Sequences
- Published online:
- 09 September 2022
- Print publication:
- 29 September 2022, pp 62-81
-
- Chapter
- Export citation
4 - Automata
-
- Book:
- The Logical Approach to Automatic Sequences
- Published online:
- 09 September 2022
- Print publication:
- 29 September 2022, pp 47-61
-
- Chapter
- Export citation
3 - Number representations and numeration systems
-
- Book:
- The Logical Approach to Automatic Sequences
- Published online:
- 09 September 2022
- Print publication:
- 29 September 2022, pp 32-46
-
- Chapter
- Export citation
9 - Regular sequences and enumeration problems
-
- Book:
- The Logical Approach to Automatic Sequences
- Published online:
- 09 September 2022
- Print publication:
- 29 September 2022, pp 193-236
-
- Chapter
- Export citation
12 - Paperfolding sequences
-
- Book:
- The Logical Approach to Automatic Sequences
- Published online:
- 09 September 2022
- Print publication:
- 29 September 2022, pp 316-326
-
- Chapter
- Export citation