Pages that link to "Item:Q1583483"
From MaRDI portal
The following pages link to Universal coalgebra: A theory of systems (Q1583483):
Displayed 50 items.
- Coalgebraic Representation Theory of Fractals (Q3178264) (← links)
- Final Semantics for Decorated Traces (Q3178274) (← links)
- Data Types with Symmetries and Polynomial Functors over Groupoids (Q3178294) (← links)
- Hybrid Automata as Coalgebras (Q3179412) (← links)
- Deriving Syntax and Axioms for Quantitative Regular Behaviours (Q3184671) (← links)
- A Coalgebraic Characterization of Behaviours in the Linear Time – Branching Time Spectrum (Q3184736) (← links)
- Structural Operational Semantics for Weighted Transition Systems (Q3184746) (← links)
- Up-to Techniques for Branching Bisimilarity (Q3297777) (← links)
- How to Reason Coinductively Informally (Q3305562) (← links)
- (Q3384075) (← links)
- A Decision Procedure for (Co)datatypes in SMT Solvers (Q3454092) (← links)
- Coalgebraic Semantic Model for the Clock Constraint Specification Language (Q3460225) (← links)
- Causal Trees, Finally (Q3460861) (← links)
- Formalization of Data Flow Computing and a Coinductive Approach to Verifying Flowware Synthesis (Q3506397) (← links)
- A Category of Explicit Fusions (Q3507388) (← links)
- Recursive coalgebras of finitary functors (Q3512598) (← links)
- Tree-functors, determinacy and bisimulations (Q3564340) (← links)
- Diagrammatic logic applied to a parameterisation process (Q3583026) (← links)
- A Bialgebraic Approach to Automata and Formal Language Theory (Q3605547) (← links)
- New Bisimulation Semantics for Distributed Systems (Q3614847) (← links)
- A Kleene Theorem for Polynomial Coalgebras (Q3617725) (← links)
- Terminal Sequence Induction via Games (Q3623843) (← links)
- Coalgebraic Reasoning in Coq: Bisimulation and the λ-Coiteration Scheme (Q3638258) (← links)
- On coalgebra of real numbers (Q4256314) (← links)
- Newton series, coinductively: a comparative study of composition (Q4559600) (← links)
- Generating the algebraic theory of $C(X)$: the case of partially ordered compact spaces (Q4563236) (← links)
- Coinductive predicates and final sequences in a fibration (Q4606703) (← links)
- Nonflatness and totality (Q4611200) (← links)
- Extending set functors to generalised metric spaces (Q4625693) (← links)
- (Q4637688) (← links)
- Some facets of Horn covarieties in a category (Q4639649) (← links)
- (Q4643960) (← links)
- (Q4683859) (← links)
- <i>μ</i>-Bicomplete Categories and Parity Games (Q4787834) (← links)
- Generalised powerlocales via relation lifting (Q4911306) (← links)
- Generalised Coinduction (Q4917033) (← links)
- A Calculus of Terms for Coalgebras of Polynomial Functors (Q4917037) (← links)
- Monoid-labeled transition systems (Q4917038) (← links)
- Modal Rules are Co-Implications (Q4917041) (← links)
- Invariants of monadic coalgebras (Q4917042) (← links)
- From Algebras and Coalgebras to Dialgebras (Q4917045) (← links)
- Elements of Stream Calculus (Q4917066) (← links)
- (Q5009431) (← links)
- (Q5009440) (← links)
- (Q5009455) (← links)
- (Q5009709) (← links)
- (Q5014445) (← links)
- (Q5014802) (← links)
- (Q5015356) (← links)
- (Q5028440) (← links)