We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:

Download:

Current browse context:

cs.DM
< prev | next >
new | recent | 2403

Change to browse by:

cs
math
math.CO

References & Citations

DBLP - CS Bibliography

listing | bibtex

Bookmark

(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo

Computer Science > Discrete Mathematics

Title: Exploring the Crochemore and Ziv-Lempel factorizations of some automatic sequences with the software Walnut

Authors: Marieh Jahannia, Manon Stipulanti
(Submitted on 22 Mar 2024)
Abstract: We explore the Ziv-Lempel and Crochemore factorizations of some classical automatic sequences making an extensive use of the theorem prover Walnut.
Comments: 15 pages, 2 figures
Subjects: Discrete Mathematics (cs.DM); Combinatorics (math.CO)
MSC classes: 1B85, 68R15
Cite as: arXiv:2403.15215 [cs.DM]
  (or arXiv:2403.15215v1 [cs.DM] for this version)

Submission history

From: Manon Stipulanti [view email]
[v1] Fri, 22 Mar 2024 14:03:30 GMT (50kb,D)
Which authors of this paper are endorsers? | Disable MathJax (What is MathJax?)

Link back to: arXiv, form interface, contact.