Pages that link to "Item:Q1583483"
From MaRDI portal
The following pages link to Universal coalgebra: A theory of systems (Q1583483):
Displayed 50 items.
- Copower functors (Q1006640) (← links)
- Separation of clones of cooperations by cohyperidentities (Q1011714) (← links)
- Bialgebraic methods and modal logic in structural operational semantics (Q1012126) (← links)
- Coinduction for exact real number computation (Q1015372) (← links)
- Coalgebraic logic for stochastic right coalgebras (Q1023291) (← links)
- A logic of implications in algebra and coalgebra (Q1047097) (← links)
- Coalgebraic logic (Q1295427) (← links)
- Recursion and corecursion have the same equational logic (Q1398467) (← links)
- Observational ultraproducts of polynomial coalgebras. (Q1408860) (← links)
- System theory for system identification. (Q1421324) (← links)
- More existence theorems for recursion categories. (Q1428035) (← links)
- On coalgebra based on classes (Q1434346) (← links)
- Swinging types=functions+relations+transition systems (Q1575635) (← links)
- A hidden agenda (Q1575735) (← links)
- CSP, partial automata, and coalgebras. (Q1603814) (← links)
- A coalgebraic equational approach to specifying observational structures (Q1603815) (← links)
- On institutions for modular coalgebraic specifications. (Q1603816) (← links)
- The continuum as a final coalgebra (Q1603817) (← links)
- Coalgebra morphisms subsume open maps (Q1603818) (← links)
- Compositional SOS and beyond: A coalgebraic view of open systems (Q1603820) (← links)
- Bisimulation indexes and their applications (Q1606119) (← links)
- A coinductive completeness proof for the equivalence of recursive types (Q1607224) (← links)
- A complete logic for behavioural equivalence in coalgebras of finitary set functors (Q1683709) (← links)
- Using coalgebras and the Giry monad for interpreting game logics -- a tutorial (Q1712599) (← links)
- Constructive logical characterizations of bisimilarity for reactive probabilistic systems (Q1731513) (← links)
- Completeness for \(\mu\)-calculi: a coalgebraic approach (Q1731842) (← links)
- Coalgebraic minimization of automata by initiality and finality (Q1744392) (← links)
- Extensional quotient coalgebras (Q1750071) (← links)
- The converse of a stochastic relation (Q1764800) (← links)
- Coalgebraic minimization of HD-automata for the \(\pi\)-calculus using polymorphic types (Q1770362) (← links)
- A behavioural pseudometric for probabilistic transition systems (Q1770428) (← links)
- Continuous normalization for the lambda-calculus and Gödel's T (Q1772771) (← links)
- Languages and models for hybrid automata: a coalgebraic perspective (Q1786567) (← links)
- A generalized partition refinement algorithm, instantiated to language equivalence checking for weighted automata (Q1797781) (← links)
- Coalgebraic logics \& duality (Q1798781) (← links)
- Undecidability of equality for codata types (Q1798783) (← links)
- Long-term values in Markov decision processes, (co)algebraically (Q1798787) (← links)
- (in)finite trace equivalence of probabilistic transition systems (Q1798789) (← links)
- Monoidal computer III: a coalgebraic view of computability and complexity (extended abstract) (Q1798794) (← links)
- Fibrational bisimulations and quantitative reasoning (Q1798795) (← links)
- Axiomatizing GSOS with termination (Q1878716) (← links)
- Interpreted systems and Kripke models for multiagent systems from a categorical perspective (Q1882902) (← links)
- Behavioural differential equations: a coinductive calculus of streams, automata, and power series (Q1884876) (← links)
- Distributivity of categories of coalgebras (Q1884878) (← links)
- Coalgebraic modal logic: soundness, completeness and decidability of local consequence (Q1884901) (← links)
- Confluence of the coinductive \(\lambda\)-calculus (Q1884931) (← links)
- On tree coalgebras and coalgebra presentations (Q1884936) (← links)
- The Burnside algebra of a quasigroup. (Q1887599) (← links)
- A proof of Moessner's theorem by coinduction (Q1929334) (← links)
- A calculus for generic, QoS-aware component composition (Q1949090) (← links)