nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
1 |
Abstract Logics as Dialgebras
|
Palmigiano, Alessandra |
|
2002 |
65 |
1 |
p. 254-269 16 p. |
artikel |
2 |
A Note on Coalgebras and Presheaves
|
Worrell, James |
|
2002 |
65 |
1 |
p. 358-364 7 p. |
artikel |
3 |
A Syntactical Approach to Weak (Bi-)Simulation for Coalgebras
|
Rothe, Jan |
|
2002 |
65 |
1 |
p. 270-285 16 p. |
artikel |
4 |
Coalgebraic Monads
|
Ghani, Neil |
|
2002 |
65 |
1 |
p. 71-91 21 p. |
artikel |
5 |
Coinductive Counting
|
Rutten, J.J.M.M. |
|
2002 |
65 |
1 |
p. 286-304 19 p. |
artikel |
6 |
Comprehension for Coalgebras
|
Jacobs, Bart |
|
2002 |
65 |
1 |
p. 112-134 23 p. |
artikel |
7 |
Definability, Canonical Models, Compactness for Finitary Coalgebraic Modal Logic
|
Kurz, Alexander |
|
2002 |
65 |
1 |
p. 135-155 21 p. |
artikel |
8 |
Final Coalgebras And a Solution Theorem for Arbitrary Endofunctors
|
Adámek, Jiří |
|
2002 |
65 |
1 |
p. 1-28 28 p. |
artikel |
9 |
From Parity Games to Circular Proofs
|
Santocanale, Luigi |
|
2002 |
65 |
1 |
p. 305-316 12 p. |
artikel |
10 |
Greatest Bisimulations for Binary Methods
|
Tews, Hendrik |
|
2002 |
65 |
1 |
p. 317-336 20 p. |
artikel |
11 |
GSOS for probabilistic transition systems
|
Bartels, Falk |
|
2002 |
65 |
1 |
p. 29-53 25 p. |
artikel |
12 |
Institutionalising Many-Sorted Coalgebraic Modal Logic
|
Cîrstea, Corina |
|
2002 |
65 |
1 |
p. 54-70 17 p. |
artikel |
13 |
Modal Predicates and Coequations
|
Kurz, Alexander |
|
2002 |
65 |
1 |
p. 156-175 20 p. |
artikel |
14 |
Preface
|
Moss, Lawrence S. |
|
2002 |
65 |
1 |
p. 365-366 2 p. |
artikel |
15 |
Some Co-Birkhoff Type Theorems
|
Hughes, Jesse |
|
2002 |
65 |
1 |
p. 92-111 20 p. |
artikel |
16 |
Towards Behavioral Maude
|
Meseguer, José |
|
2002 |
65 |
1 |
p. 197-253 57 p. |
artikel |
17 |
Towards coalgebraic behaviourism
|
Mašulović, Dragan |
|
2002 |
65 |
1 |
p. 176-196 21 p. |
artikel |
18 |
Well-behaved Translations between Structural Operational Semantics
|
Watanabe, Hiroshi |
|
2002 |
65 |
1 |
p. 337-357 21 p. |
artikel |