Current browse context:
math
Change to browse by:
References & Citations
Computer Science > Discrete Mathematics
Title: Exploring the Crochemore and Ziv-Lempel factorizations of some automatic sequences with the software Walnut
(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.
Link back to: arXiv, form interface, contact.