Pages that link to "Item:Q2946691"
From MaRDI portal
The following pages link to Sound and Complete Axiomatizations of Coalgebraic Language Equivalence (Q2946691):
Displayed 27 items.
- Rational operational models (Q265819) (← links)
- Regular behaviours with names: on rational fixpoints of endofunctors on nominal sets (Q328657) (← links)
- Quantitative simulations by matrices (Q729815) (← links)
- Coalgebraic constructions of canonical nondeterministic automata (Q890382) (← links)
- Hopf monoids in varieties (Q1652849) (← links)
- A generalized partition refinement algorithm, instantiated to language equivalence checking for weighted automata (Q1797781) (← links)
- Steps and traces (Q1798791) (← links)
- On algebras with effectful iteration (Q1798792) (← links)
- Coalgebraic semantics for nominal automata (Q2104476) (← links)
- Complete axiomatization for the total variation distance of Markov chains (Q2130580) (← links)
- Towards general axiomatizations for bisimilarity and trace semantics (Q2237336) (← links)
- A new foundation for finitary corecursion and iterative algebras (Q2304521) (← links)
- Congruences of convex algebras. (Q2341527) (← links)
- A New Foundation for Finitary Corecursion (Q2811335) (← links)
- (Q2980965) (← links)
- (Q4558787) (← links)
- (Q4643960) (← links)
- (Q4683859) (← links)
- On Finitary Functors (Q5243045) (← links)
- Hopf Semialgebras (Q5249920) (← links)
- Simplified Coalgebraic Trace Equivalence (Q5256339) (← links)
- Algebra-coalgebra duality in brzozowski's minimization algorithm (Q5410330) (← links)
- Initial Algebras of Terms with Binding and Algebraic Structure (Q5414966) (← links)
- (Co)Algebraic Characterizations of Signal Flow Graphs (Q5418958) (← links)
- Sound and Complete Axiomatization of Trace Semantics for Probabilistic Systems (Q5739363) (← links)
- (Q5875398) (← links)
- Preservation and reflection of bisimilarity via invertible steps (Q6091202) (← links)