Journals in DBLP
Paul Caspi , Marc Pouzet A Co-iterative Characterization of Synchronous Stream Functions. [Citation Graph (0, 0)][DBLP ] Journal ] Jan J. M. M. Rutten Relators and Metric Bisimulations. [Citation Graph (0, 0)][DBLP ] Journal ] Grigore Rosu A Birkhoff-like Axiomatizability Result for Hidden Algebra and Coalgebra. [Citation Graph (0, 0)][DBLP ] Journal ] Dmitri Schamschurko Modeling Process Calculi with PVS. [Citation Graph (0, 0)][DBLP ] Journal ] Horst Reichel Dialgebraic Logics. [Citation Graph (0, 0)][DBLP ] Journal ] John Power , Hiroshi Watanabe An axiomatics for categories of coalgebras. [Citation Graph (0, 0)][DBLP ] Journal ] Dusko Pavlovic Guarded induction on final coalgebras. [Citation Graph (0, 0)][DBLP ] Journal ] Alberto Pardo Monadic Corecursion - Definition, Fusion Laws, and Applications. [Citation Graph (0, 0)][DBLP ] Journal ] Luís Monteiro Semantic domains based on sets with families of equivalences. [Citation Graph (0, 0)][DBLP ] Journal ] Alexander Kurz Specifying Coalgebras with Modal Logic. [Citation Graph (0, 0)][DBLP ] Journal ] Bart Jacobs , Larry Moss , Horst Reichel , Jan J. M. M. Rutten Preface. [Citation Graph (0, 0)][DBLP ] Journal ] Bart Jacobs Coalgebraic Reasoning about Classes in Object-Oriented Languages. [Citation Graph (0, 0)][DBLP ] Journal ] H. Peter Gumm , Tobias Schröder Covarieties and Complete Covarieties. [Citation Graph (0, 0)][DBLP ] Journal ] Andrea Corradini , Martin Große-Rhode , Reiko Heckel Structured Transition Systems as Lax Coalgebras. [Citation Graph (0, 0)][DBLP ] Journal ] James Worrell Toposes of Coalgebras and Hidden Algebras. [Citation Graph (0, 0)][DBLP ] Journal ] 