default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID1st CMCS 1998: Lisbon, Portugal
- Bart Jacobs, Larry Moss, Horst Reichel, Jan J. M. M. Rutten:
First Workshop on Coalgebraic Methods in Computer Science, CMCS 1998, Lisbon, Portugal, March 28-29, 1998. Electronic Notes in Theoretical Computer Science 11, Elsevier 1998 - Paul Caspi, Marc Pouzet:
A Co-iterative Characterization of Synchronous Stream Functions. 1-21 - Andrea Corradini
, Martin Große-Rhode, Reiko Heckel:
Structured Transition Systems as Lax Coalgebras. 22-41 - H. Peter Gumm, Tobias Schröder:
Covarieties and Complete Covarieties. 42-55 - Alexander Kurz:
Specifying Coalgebras with Modal Logic. 56-70 - Luís Monteiro:
Semantic domains based on sets with families of equivalences. 71-104 - Alberto Pardo:
Monadic Corecursion - Definition, Fusion Laws, and Applications. 105-139 - Dusko Pavlovic:
Guarded induction on final coalgebras. 140-157 - John Power, Hiroshi Watanabe:
An axiomatics for categories of coalgebras. 158-175 - Grigore Rosu:
A Birkhoff-like Axiomatizability Result for Hidden Algebra and Coalgebra. 176-193 - Dmitri Schamschurko:
Modeling Process Calculi with PVS. 194-211 - James Worrell:
Toposes of Coalgebras and Hidden Algebras. 212-230 - Bart Jacobs:
Coalgebraic Reasoning about Classes in Object-Oriented Languages. 231-242 - Horst Reichel:
Dialgebraic Logics. 243-251 - Jan J. M. M. Rutten:
Relators and Metric Bisimulations. 252-258 - Bart Jacobs, Larry Moss, Horst Reichel, Jan J. M. M. Rutten:
Preface. 259
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-01-23 20:34 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
