Algebra and Coalgebra in Computer Science
From MaRDI portal
Publication:5492829
Recommendations
Cited in
(14)- Theory of Cryptography
- Modularity of ontologies in an arbitrary institution
- The category of Pawlak machines
- A modular approach to defining and characterising notions of simulation
- Algebraic simulations
- Recent Trends in Algebraic Development Techniques
- Simulations as homotopies
- The ILLTP library for intuitionistic linear logic
- A categorical outlook on relational modalities and simulations
- Paths and simulations
- Computability structures, simulations and realizability
- Categorical simulations
- scientific article; zbMATH DE number 7361363 (Why is no real title available?)
- Twenty years of rewriting logic
This page was built for publication: Algebra and Coalgebra in Computer Science
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5492829)