Author:
Marti Johannes,Venema Yde
Subject
Applied Mathematics,Computational Theory and Mathematics,Computer Networks and Communications,Theoretical Computer Science
Reference19 articles.
1. On finitary functors and their presentations;Adámek,2012
2. Automata and Algebras in Categories;Adámek,1990
3. A logic for coalgebraic simulation;Baltag;Electron. Notes Theor. Comput. Sci.,2000
4. A coalgebraic perspective on monotone modal logic;Hansen;Electron. Notes Theor. Comput. Sci.,2004
5. Neighbourhood structures: bisimilarity and basic model theory;Hansen;Log. Methods Comput. Sci.,2009
Cited by
16 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Coalgebraic Satisfiability Checking for Arithmetic $\mu$-Calculi;Logical Methods in Computer Science;2024-07-23
2. Graded Semantics and Graded Logics for Eilenberg-Moore Coalgebras;Lecture Notes in Computer Science;2024
3. A point-free perspective on lax extensions and predicate liftings;Mathematical Structures in Computer Science;2023-12-01
4. Lax Liftings and Lax Distributive Laws;Electronic Proceedings in Theoretical Computer Science;2023-08-07
5. Weak Similarity in Higher-Order Mathematical Operational Semantics;2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS);2023-06-26