Pages that link to "Item:Q2848933"
From MaRDI portal
The following pages link to Algebra and Coalgebra in Computer Science (Q2848933):
Displayed 50 items.
- Solving Fixed-Point Equations by Derivation Tree Analysis (Q3090856) (← links)
- Infinite Computation, Co-induction and Computational Logic (Q3090859) (← links)
- From Corecursive Algebras to Corecursive Monads (Q3090860) (← links)
- A Categorical Semantics for Inductive-Inductive Definitions (Q3090862) (← links)
- Finitary Functors: From Set to Preord and Poset (Q3090863) (← links)
- Model Constructions for Moss’ Coalgebraic Logic (Q3090864) (← links)
- Relation Liftings on Preorders and Posets (Q3090865) (← links)
- Model Checking Linear Coalgebraic Temporal Logics: An Automata-Theoretic Approach (Q3090866) (← links)
- Refinement Trees: Calculi, Tools, and Applications (Q3090867) (← links)
- On the Fusion of Coalgebraic Logics (Q3090868) (← links)
- Stone Duality for Nominal Boolean Algebras with И (Q3090869) (← links)
- A Counterexample to Tensorability of Effects (Q3090870) (← links)
- The Microcosm Principle and Compositionality of GSOS-Based Component Calculi (Q3090871) (← links)
- A Coalgebraic Approach to Supervisory Control of Partially Observed Mealy Automata (Q3090873) (← links)
- Coalgebraic Semantics for Derivations in Logic Programming (Q3090874) (← links)
- Hybridization of Institutions (Q3090875) (← links)
- Linearly-Used State in Models of Call-by-Value (Q3090876) (← links)
- Proving Safety Properties of Rewrite Theories (Q3090877) (← links)
- Generalized Product of Coalgebraic Hybrid Logics (Q3090878) (← links)
- Distributive-Law Semantics for Cellular Automata and Agent-Based Models (Q3090879) (← links)
- Context-Free Languages, Coalgebraically (Q3090880) (← links)
- PREG Axiomatizer – A Ground Bisimilarity Checker for GSOS with Predicates (Q3090881) (← links)
- Minlog - A Tool for Program Extraction Supporting Algebras and Coalgebras (Q3090883) (← links)
- WiCcA : LTS Generation Tool for Wire Calculus (Q3090885) (← links)
- Regular and Algebraic Words and Ordinals (Q3612480) (← links)
- Logical Semantics of Types for Concurrency (Q3612481) (← links)
- Deriving Bisimulation Congruences with Borrowed Contexts (Q3612482) (← links)
- Symmetry and Concurrency (Q3612483) (← links)
- Ready to Preorder: Get Your BCCSP Axiomatization for Free! (Q3612484) (← links)
- Impossibility Results for the Equational Theory of Timed CCS (Q3612485) (← links)
- Conceptual Data Modeling with Constraints in Maude (Q3612486) (← links)
- Datatypes in Memory (Q3612487) (← links)
- Free Modal Algebras: A Coalgebraic Perspective (Q3612489) (← links)
- Coalgebraic Epistemic Update Without Change of Model (Q3612490) (← links)
- Structured Co-spans: An Algebra of Interaction Protocols (Q3612491) (← links)
- Graphical Encoding of a Spatial Logic for the π-Calculus (Q3612492) (← links)
- Higher Dimensional Trees, Algebraically (Q3612493) (← links)
- A Semantic Characterization of Unbounded-Nondeterministic Abstract State Machines (Q3612494) (← links)
- Parametric (Co)Iteration vs. Primitive Direcursion (Q3612495) (← links)
- Bisimulation for Neighbourhood Structures (Q3612496) (← links)
- Algebraic Models of Simultaneous Multithreaded and Multi-core Processors (Q3612497) (← links)
- Quasitoposes, Quasiadhesive Categories and Artin Glueing (Q3612498) (← links)
- The Goldblatt-Thomason Theorem for Coalgebras (Q3612499) (← links)
- Specification-Based Testing for CoCasl’s Modal Specifications (Q3612500) (← links)
- CIRC: A Circular Coinductive Prover (Q3612501) (← links)
- Observing Distributed Computation. A Dynamic-Epistemic Approach (Q3612502) (← links)
- Nabla Algebras and Chu Spaces (Q3612503) (← links)
- An Institutional Version of Gödel’s Completeness Theorem (Q3612504) (← links)
- Coalgebraic Foundations of Linear Systems (Q3612505) (← links)
- Bootstrapping Types and Cotypes in HasCASL (Q3612506) (← links)