|
Journal description
All volumes of the corresponding journal
All issues of the corresponding volume
All articles of the corresponding issues
15 results found
| no | title | author | magazine | year | volume | issue | page(s) | type |
| 1 | A Birkhoff-like Axiomatizability Result for Hidden Algebra and Coalgebra |
Roşu, Grigore |
1998 |
11 | C |
p. 176-193 18 p. |
article |
|
| 2 | A Co-iterative Characterization of Synchronous Stream Functions |
Caspi, Paul |
1998 |
11 | C |
p. 1-21 21 p. |
article |
|
| 3 | An axiomatics for categories of coalgebras |
Power, John |
1998 |
11 | C |
p. 158-175 18 p. |
article |
|
| 4 | Coalgebraic Reasoning about Classes in Object-Oriented Languages |
Jacobs, Bart |
1998 |
11 | C |
p. 231-242 12 p. |
article |
|
| 5 | Covarieties and Complete Covarieties |
Gumm, H.Peter |
1998 |
11 | C |
p. 42-55 14 p. |
article |
|
| 6 | Dialgebraic Logics |
Reichel, Horst |
1998 |
11 | C |
p. 243-251 9 p. |
article |
|
| 7 | Guarded induction on final coalgebras |
Pavlović, Duško |
1998 |
11 | C |
p. 140-157 18 p. |
article |
|
| 8 | Modeling Process Calculi with PVS |
Schamschurko, Dmitri |
1998 |
11 | C |
p. 194-211 18 p. |
article |
|
| 9 | Monadic Corecursion —Definition, Fusion Laws, and Applications— |
Pardo, Alberto |
1998 |
11 | C |
p. 105-139 35 p. |
article |
|
| 10 | Preface |
Jacobs, Bart |
1998 |
11 | C |
p. 259- 1 p. |
article |
|
| 11 | Relators and Metric Bisimulations |
Rutten, J.J.M.M. |
1998 |
11 | C |
p. 252-258 7 p. |
article |
|
| 12 | Semantic domains based on sets with families of equivalences |
Monteiro, Luís |
1998 |
11 | C |
p. 71-104 34 p. |
article |
|
| 13 | Specifying Coalgebras with Modal Logic |
Kurz, Alexander |
1998 |
11 | C |
p. 56-70 15 p. |
article |
|
| 14 | Structured Transition Systems as Lax Coalgebras 1 1 Research partly supported by the EC TMR Network GETGRATS (General Theory of Graph Transformation Systems) |
Corradini, Andrea |
1998 |
11 | C |
p. 22-41 20 p. |
article |
|
| 15 | Toposes of Coalgebras and Hidden Algebras |
Worrell, James |
1998 |
11 | C |
p. 212-230 19 p. |
article |
15 results found