Coalgebraic Automata Theory: Basic Results
From MaRDI portal
Publication:3623006
DOI10.2168/LMCS-4(4:10)2008zbMath1161.18001MaRDI QIDQ3623006
Publication date: 29 April 2009
Published in: Logical Methods in Computer Science (Search for Journal in Brave)
Formal languages and automata (68Q45) Algebraic theory of languages and automata (68Q70) Categories of machines, automata (18B20)
Related Items (11)
Complementation of Coalgebra Automata ⋮ Generic weakest precondition semantics from monads enriched with order ⋮ Subsequential transducers: a coalgebraic perspective ⋮ Proof systems for Moss' coalgebraic logic ⋮ Modalities in the Stone age: a comparison of coalgebraic logics ⋮ Completeness for flat modal fixpoint logics ⋮ Coalgebraic semantics of modal logics: an overview ⋮ Unnamed Item ⋮ Coalgebraic logics \& duality ⋮ Equational Coalgebraic Logic ⋮ Unnamed Item
This page was built for publication: Coalgebraic Automata Theory: Basic Results
