Automatic Sequences and Zip-Specifications

DOI10.1109/LICS.2012.44zbMath1361.68155arXiv1201.3251OpenAlexW2040381387MaRDI QIDQ2986809

Clemens Grabmayer, Lawrence S. Moss, Jan Willem Klop, Dimitri Hendriks, Jörg Endrullis

Publication date: 16 May 2017

Published in: 2012 27th Annual IEEE Symposium on Logic in Computer Science (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1201.3251

zbMATH Keywords

coalgebradynamic logicautomatic sequencesterm rewritingstreamsequational specifications

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Abstract data types; algebraic specification (68Q65) Grammars and rewriting systems (68Q42) Automata sequences (11B85)

Related Items (6)

Linearization of automatic arrays and weave specifications ⋮ Unnamed Item ⋮ Adapting behaviors via reactive synthesis ⋮ A complete logic for behavioural equivalence in coalgebras of finitary set functors ⋮ A Final Coalgebra for k-regular Sequences ⋮ A Complete Logic for Behavioural Equivalence in Coalgebras of Finitary Set Functors

This page was built for publication: Automatic Sequences and Zip-Specifications