Pages that link to "Item:Q2848933"

The following pages link to Algebra and Coalgebra in Computer Science (Q2848933):

Displaying 50 items.

• Positive Inductive-Recursive Definitions (Q2848936) (← links)
• Coalgebraic Up-to Techniques (Q2848937) (← links)
• Exploiting Algebraic Laws to Improve Mechanized Axiomatizations (Q2848938) (← links)
• Positive Fragments of Coalgebraic Logics (Q2848939) (← links)
• Many-Valued Relation Lifting and Moss’ Coalgebraic Logic (Q2848940) (← links)
• Saturated Semantics for Coalgebraic Logic Programming (Q2848941) (← links)
• Interaction and Observation: Categorical Semantics of Reactive Systems Trough Dialgebras (Q2848943) (← links)
• Homomorphisms of Coalgebras from Predicate Liftings (Q2848944) (← links)
• From Kleisli Categories to Commutative C *-Algebras: Probabilistic Gelfand Duality (Q2848945) (← links)
• Trace Semantics via Generic Observations (Q2848946) (← links)
• Full Abstraction for Fair Testing in CCS (Q2848947) (← links)
• A Simple Case of Rationality of Escalation (Q2848948) (← links)
• Coalgebras with Symmetries and Modelling Quantum Systems (Q2848950) (← links)
• From Operational Chu Duality to Coalgebraic Quantum Symmetry (Q2848951) (← links)
• Noninterfering Schedulers (Q2848952) (← links)
• Simulations and Bisimulations for Coalgebraic Modal Logics (Q2848953) (← links)
• A Coalgebraic View of ε-Transitions (Q2848955) (← links)
• Nets, Relations and Linking Diagrams (Q2848956) (← links)
• A Logic-Programming Semantics of Services (Q2848957) (← links)
• Constructor-Based Inductive Theorem Prover (Q2848959) (← links)
• Hybridisation at Work (Q2848960) (← links)
• Algebras for Parameterised Monads (Q2888473) (← links)
• Kleene Monads: Handling Iteration in a Framework of Generic Effects (Q2888474) (← links)
• Complete Iterativity for Algebras with Effects (Q2888475) (← links)
• Coalgebraic Components in a Many-Sorted Microcosm (Q2888477) (← links)
• Complementation of Coalgebra Automata (Q2888479) (← links)
• Characterising Behavioural Equivalence: Three Sides of One Coin (Q2888480) (← links)
• Let’s See How Things Unfold: Reconciling the Infinite with the Intensional (Extended Abstract) (Q2888481) (← links)
• Circular Coinduction: A Proof Theoretical Foundation (Q2888482) (← links)
• Approximating Labelled Markov Processes Again! (Q2888484) (← links)
• Weak Bisimilarity Coalgebraically (Q2888485) (← links)
• Coalgebraic Symbolic Semantics (Q2888486) (← links)
• Relating Coalgebraic Notions of Bisimulation (Q2888487) (← links)
• Traces, Executions and Schedulers, Coalgebraically (Q2888488) (← links)
• Non-strongly Stable Orders Also Define Interesting Simulation Relations (Q2888489) (← links)
• Stone Duality and the Recognisable Languages over an Algebra (Q2888490) (← links)
• Free Heyting Algebras: Revisited (Q2888491) (← links)
• Distributive Lattice-Structured Ontologies (Q2888493) (← links)
• A Duality Theorem for Real C * Algebras (Q2888494) (← links)
• Conway Games, Coalgebraically (Q2888495) (← links)
• A Semantical Approach to Equilibria and Rationality (Q2888496) (← links)
• Van Kampen Colimits as Bicolimits in Span (Q2888497) (← links)
• Unfolding Grammars in Adhesive Categories (Q2888498) (← links)
• Views on Behaviour Protocols and Their Semantic Foundation (Q2888499) (← links)
• Correctness, Completeness and Termination of Pattern-Based Model-to-Model Transformation (Q2888500) (← links)
• Constructor-Based Institutions (Q2888501) (← links)
• DBtk: A Toolkit for Directed Bigraphs (Q2888502) (← links)
• CIRC: A Behavioral Verification Tool Based on Circular Coinduction (Q2888503) (← links)
• A Tool Proving Well-Definedness of Streams Using Termination Tools (Q2888504) (← links)
• On the Statistical Thermodynamics of Reversible Communicating Processes (Q3090855) (← links)