|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
14 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | A coalgebraic introduction to CSP |
Wolter, Uwe |
1999 |
19 | C |
p. 61-80 20 p. |
artikel |
|
| 2 | A Coequational Approach to Specifying Behaviours |
Cîrstea, Corina |
1999 |
19 | C |
p. 142-163 22 p. |
artikel |
|
| 3 | A Note on Hyperspaces and Terminal Coalgebras |
van Breugel, Franck |
1999 |
19 | C |
p. 201-208 8 p. |
artikel |
|
| 4 | Bisimulation and Hidden Algebra |
Lucanu, Dorel |
1999 |
19 | C |
p. 181-200 20 p. |
artikel |
|
| 5 | Coalgebra morphisms subsume open maps |
Lasota, Slawomir |
1999 |
19 | C |
p. 23- 1 p. |
artikel |
|
| 6 | Coinductive Models of Finite Computing Agents |
Wegner, Peter |
1999 |
19 | C |
p. 81-101 21 p. |
artikel |
|
| 7 | Distributivity for a monad and a comonad |
Power, John |
1999 |
19 | C |
p. 102- 1 p. |
artikel |
|
| 8 | From Set-theoretic Coinduction to Coalgebraic Coinduction: some results, some problems |
Lenisa, Marina |
1999 |
19 | C |
p. 2-22 21 p. |
artikel |
|
| 9 | From SOS Specifications to Structured Coalgebras: How to Make Bisimulation a Congruence |
Corradini, Andrea |
1999 |
19 | C |
p. 118-141 24 p. |
artikel |
|
| 10 | Languages for Coalgebras on Datafunctors |
Rößiger, Martin |
1999 |
19 | C |
p. 39-60 22 p. |
artikel |
|
| 11 | (Ω, Ξ)-Logic: On the Algebraic Extension of Coalgebraic Specifications |
Hennicker, Rolf |
1999 |
19 | C |
p. 164-180 17 p. |
artikel |
|
| 12 | On coalgebra of real numbers |
Pavlović, D. |
1999 |
19 | C |
p. 103-117 15 p. |
artikel |
|
| 13 | Preface |
Jacobs, Bart |
1999 |
19 | C |
p. 1- 1 p. |
artikel |
|
| 14 | Terminal sequences for accessible endofunctors |
Worrell, James |
1999 |
19 | C |
p. 24-38 15 p. |
artikel |
14 gevonden resultaten