Complementation of coalgebra automata

DOI10.1007/978-3-642-03741-2_7MaRDI QIDQ2888479zbMATH OpenOpenAlexFDO

Authors Christian Kissig, Yde Venema

Publication date 1 June 2012

Published in Algebra and Coalgebra in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-03741-2_7

Mathematics Subject Classification ID

Automata and formal grammars in connection with logical questions (03D05) Algebraic theory of languages and automata (68Q70)

Recommendations

• Coalgebraic Automata Theory: Basic Results
• Automata for coalgebras: an approach using predicate liftings
• Automata and fixed point logics for coalgebras
• Stream Automata Are Coalgebras
• Automata and fixed point logic: a coalgebraic perspective

Cites work

• Alternating automata on infinite trees
• Automata and fixed point logic: a coalgebraic perspective
• Automata and fixed point logics for coalgebras
• Coalgebraic Automata Theory: Basic Results
• Completeness of the finitary Moss logic
• Extensive games as process models
• Universal coalgebra: A theory of systems

Cited in

(17)

• Automata and fixed point logic: a coalgebraic perspective
• Two-Way Automata in Coq
• Automata and fixed point logics for coalgebras
• Equivalences and congruences on infinite Conway games
• Stream Automata Are Coalgebras
• Cooking Your Own Parity Game Preorders Through Matching Plays
• Automata for coalgebras: an approach using predicate liftings
• Coalgebraic Automata Theory: Basic Results
• scientific article; zbMATH DE number 12815 (Why is no real title available?)
• Proof systems for Moss' coalgebraic logic
• scientific article; zbMATH DE number 1236368 (Why is no real title available?)
• scientific article; zbMATH DE number 3995061 (Why is no real title available?)
• Generalised powerlocales via relation lifting
• Moss' logic for ordered coalgebras
• scientific article; zbMATH DE number 7410353 (Why is no real title available?)
• Coalgebraic semantics of modal logics: an overview
• Generic weakest precondition semantics from monads enriched with order

This page was built for publication: Complementation of coalgebra automata

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