Generalizing the powerset construction, coalgebraically
From MaRDI portal
Publication:2908856
Recommendations
- Generalizing determinization from automata to coalgebras
- Coalgebraic Automata Theory: Basic Results
- Lifting adjunctions to coalgebras to (re)discover automata constructions
- Sound and complete axiomatizations of coalgebraic language equivalence
- A Coalgebraic Perspective on Minimization and Determinization
Cited in
(30)- Companions, codensity and causality
- Towards the critical problem: On the coalgebraic relation between sets and multisets
- scientific article; zbMATH DE number 1420879 (Why is no real title available?)
- Corecursion up-to via causal transformations
- Final semantics for decorated traces
- Bisimulation and coinduction enhancements: a historical perspective
- A completeness theorem for probabilistic regular expressions
- Context-free coalgebras
- scientific article; zbMATH DE number 7471716 (Why is no real title available?)
- Termination in convex sets of distributions
- scientific article; zbMATH DE number 7204940 (Why is no real title available?)
- A (co)algebraic theory of succinct automata
- Powerset Residuated Algebras and Generalized Lambek Calculus
- The powerset operator on abstract interpretations
- Sound and complete axiomatizations of coalgebraic language equivalence
- Algebra-coalgebra duality in Brzozowski's minimization algorithm
- Generalizing determinization from automata to coalgebras
- Minimisation in logical form
- Initial algebras of terms with binding and algebraic structure
- Bialgebraic foundations for the operational semantics of string diagrams
- scientific article; zbMATH DE number 7566077 (Why is no real title available?)
- Lifting adjunctions to coalgebras to (re)discover automata constructions
- Simplified coalgebraic trace equivalence
- Sound and complete axiomatization of trace semantics for probabilistic systems
- Trace semantics via determinization
- Expressive quantale-valued logics for coalgebras: an adjunction-based approach
- Graded semantics and graded logics for Eilenberg-Moore coalgebras
- Distribution bisimilarity via the power of convex algebras
- Product rules and distributive laws
- A general account of coinduction up-to
This page was built for publication: Generalizing the powerset construction, coalgebraically
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2908856)
