×

Found 13 Documents (Results 1–13)

Mechanical proofs of properties of the Tribonacci word. (English) Zbl 1350.68218

Manea, Florin (ed.) et al., Combinatorics on words. 10th international conference, WORDS 2015, Kiel, Germany, September 14–17, 2015. Proceedings. Cham: Springer (ISBN 978-3-319-23659-9/pbk; 978-3-319-23660-5/ebook). Lecture Notes in Computer Science 9304, 170-190 (2015).
MSC:  68R15 03B25 03B35 11B85 68T15

Filter Results by …

Document Type

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software