If you are experiencing problems downloading PDF or HTML fulltext, our helpdesk recommend clearing your browser cache and trying again. If you need help in clearing your cache, please click here . Still need help? Email firstname.lastname@example.org
< previous issue
next issue >
Toposes of Coalgebras and Hidden Algebras
Dialgebraic Logics - Extended Abstract
Coalgebraic Reasoning about Classes in Object-Oriented Languages
A Birkhoff-like Axiomatizability Result for Hidden Algebra and Coalgebra
Guarded induction on final coalgebras
Modeling Process Calculi with PVS
Relators and Metric Bisimulations - (Extended Abstract)
Covarieties and Complete Covarieties
Gumm, H.P.; Schroder, T.
A Co-iterative Characterization of Synchronous Stream Functions
Caspi, P.; Pouzet, M.
Specifying Coalgebras with Modal Logic
Semantic domains based on sets with families of equivalences
An axiomatics for categories of coalgebras
Power, J.; Watanabe, H.
Monadic Corecursion -Definition, Fusion Laws, and Applications-
Structured Transition Systems as Lax Coalgebras
Corradini, A.; Grosze-Rhode, M.; Heckel, R.