Stone Coalgebras-Reference-Cited by-同舟云学术

Stone Coalgebras

Published:2003-07 Issue:1 Volume:82 Page:170-190
ISSN:1571-0661
Container-title:Electronic Notes in Theoretical Computer Science
language:en
Short-container-title:Electronic Notes in Theoretical Computer Science

Author:

Kupke Clemens,Kurz Alexander,Venema Yde

Publisher

Elsevier BV

Subject

General Computer Science,Theoretical Computer Science

Reference29 articles.

1. Domain theory in logical form;Abramsky;Annals of Pure and Applied Logic,1991

2. J. Adámek and H. Porst. On varieties and covarieties in a category. Mathematical Structures in Computer Science. To appear.

3. Partializing Stone Spaces using SFP Domains (extended abstract);Alessi,1997

4. S. Awodey and J. Hughes. Modal operators and the formal dual of Birkhoff's completeness theorem. Mathematical Structures in Computer Science. To appear.

5. Alexandru Baltag. A logic for coalgebraic simulation. In Horst Reichel, editor, Coalgebraic Methods in Computer Science (CMCS'00), volume 33 of Electronic Notes in Theoretical Computer Science, pages 41–60, 2000.

Cited by 5 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Injective Objects and Fibered Codensity Liftings;Coalgebraic Methods in Computer Science;2020

2. Coalgebras with Symmetries and Modelling Quantum Systems;Algebra and Coalgebra in Computer Science;2013

3. Final coalgebras for functors on measurable spaces;Information and Computation;2006-04

4. A coalgebraic view on positive modal logic;Theoretical Computer Science;2004-10

5. Coalgebraic Semantics for Positive Modal Logic;Electronic Notes in Theoretical Computer Science;2003-07