Pages that link to "Item:Q1583483"
From MaRDI portal
The following pages link to Universal coalgebra: A theory of systems (Q1583483):
Displaying 50 items.
- Realization of Coinductive Types (Q5739360) (← links)
- Fixed Points of Functors - A Short Abstract (Q5739445) (← links)
- Transitivity and Difunctionality of Bisimulations (Q5739448) (← links)
- Duality of Equations and Coequations via Contravariant Adjunctions (Q5739450) (← links)
- Product Rules and Distributive Laws (Q5739452) (← links)
- A Complete Logic for Behavioural Equivalence in Coalgebras of Finitary Set Functors (Q5739455) (← links)
- Bisimulation proof methods in a path-based specification language for polynomial coalgebras (Q5740639) (← links)
- (Q5875345) (← links)
- (Q5875347) (← links)
- Coinduction in Flow: The Later Modality in Fibrations (Q5875348) (← links)
- (Q5875353) (← links)
- (Q5875397) (← links)
- (Q5875398) (← links)
- (Q5875403) (← links)
- (Q5875411) (← links)
- (Q5875422) (← links)
- Coalgebras for Bisimulation of Weighted Automata over Semirings (Q5883750) (← links)
- Theoretical Computer Science (Q5897366) (← links)
- Semantic constructions for the specification of objects (Q5941157) (← links)
- A coalgebraic presentation of structured transition systems (Q5941158) (← links)
- Equational and implicational classes of coalgebras (Q5941159) (← links)
- Covarieties and complete covarieties (Q5941160) (← links)
- On the structure of categories of coalgebras (Q5941161) (← links)
- Specifying coalgebras with modal logic (Q5941162) (← links)
- Parametric corecursion (Q5941163) (← links)
- From modal logic to terminal coalgebras (Q5941165) (← links)
- Equational axiomatizability for coalgebra (Q5941166) (← links)
- Operators on classes of coalgebras (Q5958621) (← links)
- What is the coalgebraic analogue of Birkhoff's variety theorem? (Q5958779) (← links)
- Discussion on: ``Supervisory control of discrete event systems with flexible marking'' (Q5971307) (← links)
- (Q6040911) (← links)
- Abstract categorical logic (Q6043096) (← links)
- Weighted and branching bisimilarities from generalized open maps (Q6091200) (← links)
- On difunctions (Q6113019) (← links)
- COUNTING TO INFINITY: GRADED MODAL LOGIC WITH AN INFINITY DIAMOND (Q6131221) (← links)
- Choice structures in games (Q6160139) (← links)
- Morpho-logic from a topos perspective -- application to symbolic AI (Q6178744) (← links)
- Up-to techniques for behavioural metrics via fibrations (Q6190392) (← links)
- A complete inference system for skip-free guarded Kleene algebra with tests (Q6535242) (← links)
- A monoidal view on fixpoint checks (Q6535504) (← links)
- Distributed coalgebraic partition refinement (Q6535613) (← links)
- Time: it is only logical! (Q6535837) (← links)
- Generic partition refinement and weighted tree automata (Q6535955) (← links)
- Linear-time logics -- a coalgebraic perspective (Q6563060) (← links)
- The eventual image (Q6593824) (← links)
- Many-valued coalgebraic logic over semi-primal varieties (Q6597956) (← links)
- Coalgebraic satisfiability checking for arithmetic \(\mu\)-calculi (Q6597959) (← links)
- Minimisation in logical form (Q6612779) (← links)
- Formal definitions and proofs for partial (co)recursive functions (Q6615564) (← links)
- A semantic model for interacting cyber-physical systems (Q6649543) (← links)
