|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
22 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | A Categorical Model of the Fusion Calculus |
Miculan, Marino |
2008 |
218 | C |
p. 275-293 19 p. |
artikel |
|
| 2 | A Functional Algorithm for Exact Real Integration with Invariant Measures |
Scriven, Adam |
2008 |
218 | C |
p. 337-353 17 p. |
artikel |
|
| 3 | A Monotonicity Principle for Information Theory |
Chatzikokolakis, Konstantinos |
2008 |
218 | C |
p. 111-129 19 p. |
artikel |
|
| 4 | A Technique for Verifying Measurements |
Martin, Keye |
2008 |
218 | C |
p. 261-273 13 p. |
artikel |
|
| 5 | Bases in Diagrammatic Quantum Protocols |
Coecke, Bob |
2008 |
218 | C |
p. 131-152 22 p. |
artikel |
|
| 6 | Dynamic Translucency with Abstraction Kinds and Higher-Order Coercions |
Rossberg, Andreas |
2008 |
218 | C |
p. 313-336 24 p. |
artikel |
|
| 7 | Expressivity in the κ Family |
Laneve, Cosimo |
2008 |
218 | C |
p. 97-109 13 p. |
artikel |
|
| 8 | Game Semantics for Quantum Stores |
Delbecque, Yannick |
2008 |
218 | C |
p. 153-170 18 p. |
artikel |
|
| 9 | Global State Considered Helpful |
Levy, Paul Blain |
2008 |
218 | C |
p. 241-259 19 p. |
artikel |
|
| 10 | Higher-Order Separation Logic in Isabelle/HOLCF |
Varming, Carsten |
2008 |
218 | C |
p. 371-389 19 p. |
artikel |
|
| 11 | HYPE Applied to the Modelling of Hybrid Biological Systems |
Galpin, Vashti |
2008 |
218 | C |
p. 33-51 19 p. |
artikel |
|
| 12 | Multimodal Separation Logic for Reasoning About Operational Semantics |
Dockins, Robert |
2008 |
218 | C |
p. 5-20 16 p. |
artikel |
|
| 13 | Preface |
Bauer, Andrej |
2008 |
218 | C |
p. 1-4 4 p. |
artikel |
|
| 14 | Presenting Dcpos and Dcpo Algebras |
Jung, Achim |
2008 |
218 | C |
p. 209-229 21 p. |
artikel |
|
| 15 | Proofs as Polynomials |
Haghverdi, Esfandiar |
2008 |
218 | C |
p. 53-72 20 p. |
artikel |
|
| 16 | Propositional Dynamic Logic with Program Quantifiers |
Leivant, Daniel |
2008 |
218 | C |
p. 231-240 10 p. |
artikel |
|
| 17 | Reasoning about B+ Trees with Operational Semantics and Separation Logic |
Sexton, Alan |
2008 |
218 | C |
p. 355-369 15 p. |
artikel |
|
| 18 | Semimodule Enrichment |
Heunen, Chris |
2008 |
218 | C |
p. 193-208 16 p. |
artikel |
|
| 19 | Stochastic Bigraphs |
Krivine, Jean |
2008 |
218 | C |
p. 73-96 24 p. |
artikel |
|
| 20 | Tensors of Comodels and Models for Operational Semantics |
Plotkin, Gordon |
2008 |
218 | C |
p. 295-311 17 p. |
artikel |
|
| 21 | Term Equational Systems and Logics |
Fiore, Marcelo |
2008 |
218 | C |
p. 171-192 22 p. |
artikel |
|
| 22 | The Interpretation of Intuitionistic Type Theory in Locally Cartesian Closed Categories – an Intuitionistic Perspective |
Buisse, Alexandre |
2008 |
218 | C |
p. 21-32 12 p. |
artikel |
22 gevonden resultaten