The following pages link to (Q3996444):
Displaying 50 items.
- Rational operational models (Q265819) (← links)
- Relation lifting, a survey (Q299182) (← links)
- Proof systems for Moss' coalgebraic logic (Q402120) (← links)
- A bialgebraic approach to automata and formal language theory (Q408529) (← links)
- Universality of categories of coalgebras (Q409255) (← links)
- Modalities in the Stone age: a comparison of coalgebraic logics (Q418820) (← links)
- Relatively terminal coalgebras (Q456862) (← links)
- Subsequential transducers: a coalgebraic perspective (Q618167) (← links)
- Presenting functors on many-sorted varieties and applications (Q618170) (← links)
- Coequational logic for accessible functors (Q618173) (← links)
- Coalgebraic semantics of modal logics: an overview (Q639647) (← links)
- On the greatest fixed point of a set functor (Q672316) (← links)
- The category-theoretic solution of recursive program schemes (Q860876) (← links)
- On the construction of free algebras for equational systems (Q1014644) (← links)
- All clones are centralizer clones (Q1040654) (← links)
- Equational properties of iteration in algebraically complete categories (Q1128480) (← links)
- The equational logic of fixed points (Q1391734) (← links)
- On final coalgebras of continuous functors (Q1398459) (← links)
- Infinite trees and completely iterative theories: A coalgebraic view (Q1399957) (← links)
- On functors preserving coproducts and algebras with iterativity (Q1727997) (← links)
- A categorical approach to minimal realization for a fuzzy language (Q1795371) (← links)
- Predicate liftings and functor presentations in coalgebraic expression languages (Q1798785) (← links)
- On tree coalgebras and coalgebra presentations (Q1884936) (← links)
- Continuous and uniformly continuous maps of powers of metric spaces (Q1891609) (← links)
- Categories of quantale-valued fuzzy automata: determinization and minimization (Q2053055) (← links)
- A categorical framework for learning generalised tree automata (Q2104477) (← links)
- Memoryless systems generate the class of all discrete systems (Q2292321) (← links)
- On finitary functors and their presentations (Q2341699) (← links)
- Structural operational semantics for continuous state stochastic transition systems (Q2341700) (← links)
- Lax extensions of coalgebra functors and their logic (Q2341702) (← links)
- Set functors and filters (Q2350316) (← links)
- Strategy-proof aggregation rules and single peakedness in bounded distributive lattices (Q2417403) (← links)
- Automata and fixed point logic: a coalgebraic perspective (Q2495648) (← links)
- Terminal coalgebras and free iterative theories (Q2500475) (← links)
- On final coalgebras of power-set functors and saturated trees (Q2516577) (← links)
- Equational Coalgebraic Logic (Q2805164) (← links)
- Modal Predicates and Coequations (Q2842557) (← links)
- Predicate Liftings Versus Nabla Modalities (Q2873669) (← links)
- Coequational Logic for Finitary Functors (Q2873671) (← links)
- Free Heyting Algebras: Revisited (Q2888491) (← links)
- Recursive coalgebras of finitary functors (Q3512598) (← links)
- A Bialgebraic Approach to Automata and Formal Language Theory (Q3605547) (← links)
- Some facets of Horn covarieties in a category (Q4639649) (← links)
- REFLECTORS AND GLOBALIZATIONS OF PARTIAL ACTIONS OF GROUPS (Q4642371) (← links)
- Generalised powerlocales via relation lifting (Q4911306) (← links)
- A Coalgebraic View of Infinite Trees and Iteration (Q4917030) (← links)
- From Varieties of Algebras to Covarieties of Coalgebras (Q4917031) (← links)
- (Q5009709) (← links)
- (Q5212270) (← links)
- Modules in the Category $$\mathtt {\mathbf{Sup}}$$ (Q5213711) (← links)
