|
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 | Algebraic Information Theory For Binary Channels |
Martin, Keye |
2006 |
158 | C |
p. 289-306 18 p. |
artikel |
|
| 2 | An Operational Domain-theoretic Treatment of Recursive Types |
Ho, Weng Kin |
2006 |
158 | C |
p. 237-259 23 p. |
artikel |
|
| 3 | Arrows, like Monads, are Monoids |
Heunen, Chris |
2006 |
158 | C |
p. 219-236 18 p. |
artikel |
|
| 4 | Bunching for Regions and Locations |
Collinson, Matthew |
2006 |
158 | C |
p. 171-197 27 p. |
artikel |
|
| 5 | Computational Effects in Topological Domain Theory |
Battenfeld, Ingo |
2006 |
158 | C |
p. 59-80 22 p. |
artikel |
|
| 6 | Efficient Patterns for Model Checking Partial State Spaces in CTL ∩ LTL |
Antonik, Adam |
2006 |
158 | C |
p. 41-57 17 p. |
artikel |
|
| 7 | Functors Determined by Values on Objects |
Cancila, Daniela |
2006 |
158 | C |
p. 151-169 19 p. |
artikel |
|
| 8 | Local Reasoning About Tree Update |
Zarfaty, Uri |
2006 |
158 | C |
p. 399-424 26 p. |
artikel |
|
| 9 | Monads and Adjunctions for Global Exceptions |
Levy, Paul Blain |
2006 |
158 | C |
p. 261-287 27 p. |
artikel |
|
| 10 | On the Observational Theory of the CPS-calculus |
Merro, Massimo |
2006 |
158 | C |
p. 307-330 24 p. |
artikel |
|
| 11 | Preface |
Brookes, Steve |
2006 |
158 | C |
p. 1-2 2 p. |
artikel |
|
| 12 | Priestley Duality for Strong Proximity Lattices |
El-Zawawy, Mohamed A. |
2006 |
158 | C |
p. 199-217 19 p. |
artikel |
|
| 13 | Reasoning About Imperative Quantum Programs |
Chadha, R. |
2006 |
158 | C |
p. 19-39 21 p. |
artikel |
|
| 14 | Semantics for Local Computational Effects |
Power, John |
2006 |
158 | C |
p. 355-371 17 p. |
artikel |
|
| 15 | Strong Update, Disposal, and Encapsulation in Bunched Typing |
Berdine, Josh |
2006 |
158 | C |
p. 81-98 18 p. |
artikel |
|
| 16 | The Linear Logical Abstract Machine |
Bonelli, Eduardo |
2006 |
158 | C |
p. 99-121 23 p. |
artikel |
|
| 17 | Towards a Calculus For Wireless Systems |
Mezzetti, Nicola |
2006 |
158 | C |
p. 331-353 23 p. |
artikel |
|
| 18 | Typed Event Structures and the π-Calculus |
Varacca, Daniele |
2006 |
158 | C |
p. 373-397 25 p. |
artikel |
|
| 19 | Variables as Resource for Shared-Memory Programs: Semantics and Soundness |
Brookes, Stephen |
2006 |
158 | C |
p. 123-150 28 p. |
artikel |
|
| 20 | Weighted Timed Automata: Model-Checking and Games |
Bouyer, Patricia |
2006 |
158 | C |
p. 3-17 15 p. |
artikel |
20 gevonden resultaten