Semantical Principles in the Modal Logic of Coalgebras
STACS '01 Proceedings of the 18th Annual Symposium on Theoretical Aspects of Computer Science
On final coalgebras of continuous functors
Theoretical Computer Science - Category theory and computer science
Infinite trees and completely iterative theories: a coalgebraic view
Theoretical Computer Science
Coalgebraic modal logic: soundness, completeness and decidability of local consequence
Theoretical Computer Science
On varieties and covarieties in a category
Mathematical Structures in Computer Science
Free iterative theories: a coalgebraic view
Mathematical Structures in Computer Science
A compositional approach to defining logics for coalgebras
Theoretical Computer Science - Selected papers of CMCS'03
Category theory for operational semantics
Theoretical Computer Science - Selected papers of CMCS'03
Coalgebraic modal logic of finite rank
Mathematical Structures in Computer Science
On the final sequence of a finitary set functor
Theoretical Computer Science
Domain theory, testing and simulation for labelled Markov processes
Theoretical Computer Science - Foundations of software science and computation structures
The category-theoretic solution of recursive program schemes
Theoretical Computer Science - Algebra and coalgebra in computer science
Functorial Coalgebraic Logic: The Case of Many-sorted Varieties
Electronic Notes in Theoretical Computer Science (ENTCS)
An intrinsic characterization of approximate probabilistic bisimilarity
FOSSACS'03/ETAPS'03 Proceedings of the 6th International conference on Foundations of Software Science and Computation Structures and joint European conference on Theory and practice of software
Presenting functors on many-sorted varieties and applications
Information and Computation
Initial algebras and terminal coalgebras in many-sorted sets
Mathematical Structures in Computer Science
Realization of Coinductive Types
Electronic Notes in Theoretical Computer Science (ENTCS)
Context-free languages via coalgebraic trace semantics
CALCO'05 Proceedings of the First international conference on Algebra and Coalgebra in Computer Science
A coalgebraic perspective on minimization and determinization
FOSSACS'12 Proceedings of the 15th international conference on Foundations of Software Science and Computational Structures
Coalgebraic models for reactive systems
CONCUR'07 Proceedings of the 18th international conference on Concurrency Theory
Hi-index | 5.23 |