|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
20 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | A Coalgebraic Approach to Kleene Algebra with Tests |
Chen, Hubie |
2003 |
82 | 1 |
p. 94-109 16 p. |
artikel |
|
| 2 | A Coalgebraic Semantics for Epistemic Programs |
Baltag, Alexandru |
2003 |
82 | 1 |
p. 17-38 22 p. |
artikel |
|
| 3 | A hierarchy of probabilistic system types |
Bartels, Falk |
2003 |
82 | 1 |
p. 57-75 19 p. |
artikel |
|
| 4 | Coalgebraic Semantics for Positive Modal Logic |
Palmigiano, Alessandra |
2003 |
82 | 1 |
p. 221-236 16 p. |
artikel |
|
| 5 | CoCasl at Work — Modelling Process Algebra |
Mossakowski, Till |
2003 |
82 | 1 |
p. 206-220 15 p. |
artikel |
|
| 6 | Coinduction in Control of Partially Observed Discrete-Event Systems |
Komenda, Jan |
2003 |
82 | 1 |
p. 150-169 20 p. |
artikel |
|
| 7 | Comonoids in chu |
Pratt, Vaughan R. |
2003 |
82 | 1 |
p. 273-284 12 p. |
artikel |
|
| 8 | Computable Functions on Final Coalgebras |
Pattinson, Dirk |
2003 |
82 | 1 |
p. 237-256 20 p. |
artikel |
|
| 9 | Generalized Coiteration Schemata 1 1 Research supported by the MIUR Project COFIN 2001013518 Cometa. |
Cancila, Daniela |
2003 |
82 | 1 |
p. 76-93 18 p. |
artikel |
|
| 10 | Inductive Behavioral Proofs by Unhiding |
Roşu, Grigore |
2003 |
82 | 1 |
p. 285-302 18 p. |
artikel |
|
| 11 | Logical Construction of Final Coalgebras |
Santocanale, Luigi |
2003 |
82 | 1 |
p. 321-340 20 p. |
artikel |
|
| 12 | Modal Logics for Observation Equivalences |
Rothe, Jan |
2003 |
82 | 1 |
p. 303-320 18 p. |
artikel |
|
| 13 | On a Description of Terminal Coalgebras and Iterative Theories |
Adámek, Jiří |
2003 |
82 | 1 |
p. 1-16 16 p. |
artikel |
|
| 14 | On Expressivity and Compositionality in Logics for Coalgebras |
Cîrstea, Corina |
2003 |
82 | 1 |
p. 110-127 18 p. |
artikel |
|
| 15 | Preface |
Gumm, H. Peter |
2003 |
82 | 1 |
p. 341-342 2 p. |
artikel |
|
| 16 | Simulations in Coalgebra |
Jacobs, Bart |
2003 |
82 | 1 |
p. 128-149 22 p. |
artikel |
|
| 17 | State-based Components Made Generic |
Barbosa, L.S. |
2003 |
82 | 1 |
p. 39-56 18 p. |
artikel |
|
| 18 | Stone Coalgebras |
Kupke, Clemens |
2003 |
82 | 1 |
p. 170-190 21 p. |
artikel |
|
| 19 | Substitution in Non-wellfounded Syntax with Variable Binding |
Matthes, Ralph |
2003 |
82 | 1 |
p. 191-205 15 p. |
artikel |
|
| 20 | Towards a theory of mathematical operational semantics |
Power, John |
2003 |
82 | 1 |
p. 257-272 16 p. |
artikel |
20 gevonden resultaten