Characterizing morphic sequences

DOI10.1007/978-3-031-61716-4_17MaRDI QIDQ7030777zbMATH OpenFDO

Authors Hans Zantema

Publication date 7 February 2025

Full work available at URL https://doi.org/10.1007/978-3-031-61716-4_17

Mathematics Subject Classification ID

Computer science (68-XX)

Cites work

• Automatic Sequences
• Formal Languages, Automata and Numeration Systems 1
• Formal languages, automata and numeration systems. Vol. 2. Applications to recognizability and decidability
• scientific article; zbMATH DE number 1889386 (Why is no real title available?)
• Mix-automatic sequences
• Normalization of Infinite Terms
• Playing with infinity. Turtles, patterns, and pictures
• Proving equality of streams automatically
• PROVING PRODUCTIVITY IN INFINITE DATA STRUCTURES
• Turtle graphics of morphic sequences
• Well-Definedness of Streams by Termination

This page was built for publication: Characterizing morphic sequences

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q7030777)