|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
11 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | Applications of Algebra and Coalgebra in Scientific Modelling |
Hauhs, Michael |
2010 |
264 | 2 |
p. 105-123 19 p. |
artikel |
|
| 2 | Categorifying Computations into Components via Arrows as Profunctors |
Asada, Kazuyuki |
2010 |
264 | 2 |
p. 25-45 21 p. |
artikel |
|
| 3 | Coinduction in Concurrent Timed Systems |
Komenda, Jan |
2010 |
264 | 2 |
p. 177-197 21 p. |
artikel |
|
| 4 | Families of Symmetries as Efficient Models of Resource Binding |
Ciancia, Vincenzo |
2010 |
264 | 2 |
p. 63-81 19 p. |
artikel |
|
| 5 | From Coalgebraic to Monoidal Traces |
Jacobs, Bart |
2010 |
264 | 2 |
p. 125-140 16 p. |
artikel |
|
| 6 | Generic Infinite Traces and Path-Based Coalgebraic Temporal Logics |
Cîrstea, Corina |
2010 |
264 | 2 |
p. 83-103 21 p. |
artikel |
|
| 7 | Higher-order Algebras and Coalgebras from Parameterized Endofunctors |
Kim, Jiho |
2010 |
264 | 2 |
p. 141-154 14 p. |
artikel |
|
| 8 | On Coalgebras over Algebras |
Balan, Adriana |
2010 |
264 | 2 |
p. 47-62 16 p. |
artikel |
|
| 9 | Preface |
Jacobs, Bart |
2010 |
264 | 2 |
p. 1-2 2 p. |
artikel |
|
| 10 | Recursive Program Schemes and Context-Free Monads |
Adámek, Jiří |
2010 |
264 | 2 |
p. 3-23 21 p. |
artikel |
|
| 11 | Structural Operational Semantics and Modal Logic, Revisited |
Klin, Bartek |
2010 |
264 | 2 |
p. 155-175 21 p. |
artikel |
11 gevonden resultaten