|
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 | Admissibility of Cut in Coalgebraic Logics |
Pattinson, Dirk |
2008 |
203 | 5 |
p. 221-241 21 p. |
artikel |
|
| 2 | A Name Abstraction Functor for Named Sets |
Ciancia, Vincenzo |
2008 |
203 | 5 |
p. 49-70 22 p. |
artikel |
|
| 3 | Coalgebraic Trace Semantics for Combined Possibilitistic and Probabilistic Systems |
Jacobs, Bart |
2008 |
203 | 5 |
p. 131-152 22 p. |
artikel |
|
| 4 | Coalgebraising Subsequential Transducers |
Hansen, Helle Hvid |
2008 |
203 | 5 |
p. 109-129 21 p. |
artikel |
|
| 5 | Coequational Logic for Finitary Functors |
Schwencke, Daniel |
2008 |
203 | 5 |
p. 243-262 20 p. |
artikel |
|
| 6 | Comonadic Notions of Computation |
Uustalu, Tarmo |
2008 |
203 | 5 |
p. 263-284 22 p. |
artikel |
|
| 7 | Functorial Coalgebraic Logic: The Case of Many-sorted Varieties |
Kurz, Alexander |
2008 |
203 | 5 |
p. 175-194 20 p. |
artikel |
|
| 8 | Inductive and Coinductive Components of Corecursive Functions in Coq |
Bertot, Yves |
2008 |
203 | 5 |
p. 25-47 23 p. |
artikel |
|
| 9 | Merging Hierarchically-Structured Documents in Workflow Systems |
Badouel, Eric |
2008 |
203 | 5 |
p. 3-24 22 p. |
artikel |
|
| 10 | Modular Games for Coalgebraic Fixed Point Logics |
Cîrstea, Corina |
2008 |
203 | 5 |
p. 71-92 22 p. |
artikel |
|
| 11 | Observational Coalgebras and Complete Sets of Co-operations |
Kupke, Clemens |
2008 |
203 | 5 |
p. 153-174 22 p. |
artikel |
|
| 12 | On Products of Transition Systems |
Fohry, Egbert |
2008 |
203 | 5 |
p. 93-107 15 p. |
artikel |
|
| 13 | Predicate Liftings Versus Nabla Modalities |
Leal, Raul Andres |
2008 |
203 | 5 |
p. 195-220 26 p. |
artikel |
|
| 14 | Preface |
Adámek, Jiří |
2008 |
203 | 5 |
p. 1-2 2 p. |
artikel |
14 gevonden resultaten