scientific article; zbMATH DE number 6851946

DOI10.4230/LIPIcs.CONCUR.2016.24zbMath1392.68271arXiv1606.09399MaRDI QIDQ4608676

Shunsuke Shimizu, Ichiro Hasuo, Natsuki Urabe

Publication date: 21 March 2018

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

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

coalgebraprobabilistic automatonBüchi automatontree automatonparity automaton

Mathematics Subject Classification ID

Algebraic theory of languages and automata (68Q70) Semantics in the theory of computing (68Q55) Categories of machines, automata (18B20)

Related Items (4)

Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Categorical Büchi and parity conditions via alternating fixed points of functors

This page was built for publication: