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