nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
1 |
A Birkhoff-like Axiomatizability Result for Hidden Algebra and Coalgebra
|
Roşu, Grigore |
|
1998 |
11 |
C |
p. 176-193 18 p. |
artikel |
2 |
A Co-iterative Characterization of Synchronous Stream Functions
|
Caspi, Paul |
|
1998 |
11 |
C |
p. 1-21 21 p. |
artikel |
3 |
An axiomatics for categories of coalgebras
|
Power, John |
|
1998 |
11 |
C |
p. 158-175 18 p. |
artikel |
4 |
Coalgebraic Reasoning about Classes in Object-Oriented Languages
|
Jacobs, Bart |
|
1998 |
11 |
C |
p. 231-242 12 p. |
artikel |
5 |
Covarieties and Complete Covarieties
|
Gumm, H.Peter |
|
1998 |
11 |
C |
p. 42-55 14 p. |
artikel |
6 |
Dialgebraic Logics
|
Reichel, Horst |
|
1998 |
11 |
C |
p. 243-251 9 p. |
artikel |
7 |
Guarded induction on final coalgebras
|
Pavlović, Duško |
|
1998 |
11 |
C |
p. 140-157 18 p. |
artikel |
8 |
Modeling Process Calculi with PVS
|
Schamschurko, Dmitri |
|
1998 |
11 |
C |
p. 194-211 18 p. |
artikel |
9 |
Monadic Corecursion —Definition, Fusion Laws, and Applications—
|
Pardo, Alberto |
|
1998 |
11 |
C |
p. 105-139 35 p. |
artikel |
10 |
Preface
|
Jacobs, Bart |
|
1998 |
11 |
C |
p. 259- 1 p. |
artikel |
11 |
Relators and Metric Bisimulations
|
Rutten, J.J.M.M. |
|
1998 |
11 |
C |
p. 252-258 7 p. |
artikel |
12 |
Semantic domains based on sets with families of equivalences
|
Monteiro, Luís |
|
1998 |
11 |
C |
p. 71-104 34 p. |
artikel |
13 |
Specifying Coalgebras with Modal Logic
|
Kurz, Alexander |
|
1998 |
11 |
C |
p. 56-70 15 p. |
artikel |
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. |
artikel |
15 |
Toposes of Coalgebras and Hidden Algebras
|
Worrell, James |
|
1998 |
11 |
C |
p. 212-230 19 p. |
artikel |