|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
17 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | A Coalgebraic Semantics of Subtyping |
Poll, Erik |
2000 |
33 | C |
p. 276-293 18 p. |
artikel |
|
| 2 | A Logic for Coalgebraic Simulation |
Baltag, Alexandru |
2000 |
33 | C |
p. 42-60 19 p. |
artikel |
|
| 3 | An Algebra-Coalgebra Framework for System Specification |
Cîrstea, Corina |
2000 |
33 | C |
p. 80-110 31 p. |
artikel |
|
| 4 | Coalgebraic Coinduction in (Hyper)set-theoretic Categories☆ ☆ Work supported by Esprit Working Group “Types”, MURST Cofin.'99 grant. |
Honsell, Furio |
2000 |
33 | C |
p. 132-159 28 p. |
artikel |
|
| 5 | Coalgebraic structure from weak limit preserving functors |
Peter Gumm, H. |
2000 |
33 | C |
p. 111-131 21 p. |
artikel |
|
| 6 | Coalgebras and Modal Logic |
Rößiger, Martin |
2000 |
33 | C |
p. 294-315 22 p. |
artikel |
|
| 7 | Coalgebras for Binary Methods |
Tews, Hendrik |
2000 |
33 | C |
p. 316- 1 p. |
artikel |
|
| 8 | Coinduction for recursive data types: partial orders, metric spaces and Ω-categories. |
Worrell, James |
2000 |
33 | C |
p. 337-356 20 p. |
artikel |
|
| 9 | Compositional Constructor Interpretation over Coalgebraic Models for the π—Calculus |
Baldamus, Michael |
2000 |
33 | C |
p. 13-41 29 p. |
artikel |
|
| 10 | Constraints, Adjunctions and (Co)algebras |
Angelsmark, Ola |
2000 |
33 | C |
p. 3-12 10 p. |
artikel |
|
| 11 | Distributivity for endofunctors, pointed and co-pointed endofunctors, monads and comonads |
Lenisa, Marina |
2000 |
33 | C |
p. 230-260 31 p. |
artikel |
|
| 12 | Incompleteness of Behavioral Logics |
Buss, Samuel |
2000 |
33 | C |
p. 61-79 19 p. |
artikel |
|
| 13 | Notes on Coalgebras, Cofibrations and Concurrency |
Kurz, Alexander |
2000 |
33 | C |
p. 196-229 34 p. |
artikel |
|
| 14 | Observation systems |
Monteiro, Luís |
2000 |
33 | C |
p. 261-275 15 p. |
artikel |
|
| 15 | On Corelations, Cokernels, and Coequations |
Wolter, Uwe |
2000 |
33 | C |
p. 317-336 20 p. |
artikel |
|
| 16 | Preface |
Reichel, Horst |
2000 |
33 | C |
p. 1-2 2 p. |
artikel |
|
| 17 | Towards a Duality Result in Coalgebraic Modal Logic |
Jacobs, Bart |
2000 |
33 | C |
p. 160-195 36 p. |
artikel |
17 gevonden resultaten