|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
26 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | A Categorical Setting for Lower Complexity |
Cockett, Robin |
2010 |
265 | C |
p. 277-300 24 p. |
artikel |
|
| 2 | A Free Object in Quantum Information Theory |
Martin, Keye |
2010 |
265 | C |
p. 35-47 13 p. |
artikel |
|
| 3 | An Alternative Direct Simulation of Minsky Machines into Classical Bunched Logics via Group Semantics |
Larchey-Wendling, Dominique |
2010 |
265 | C |
p. 369-387 19 p. |
artikel |
|
| 4 | A Nominal Relational Model for Local Store |
Møgelberg, Rasmus Ejlers |
2010 |
265 | C |
p. 403-421 19 p. |
artikel |
|
| 5 | A Unified Display Proof Theory for Bunched Logic |
Brotherston, James |
2010 |
265 | C |
p. 197-211 15 p. |
artikel |
|
| 6 | Bayesian Authentication: Quantifying Security of the Hancke-Kuhn Protocol |
Pavlovic, Dusko |
2010 |
265 | C |
p. 97-122 26 p. |
artikel |
|
| 7 | Bialgebras in Rel |
Hasegawa, Masahito |
2010 |
265 | C |
p. 337-350 14 p. |
artikel |
|
| 8 | Binding in Nominal Equational Logic |
Clouston, Ranald |
2010 |
265 | C |
p. 259-276 18 p. |
artikel |
|
| 9 | Bisimulations Generated from Corecursive Equations |
Capretta, Venanzio |
2010 |
265 | C |
p. 245-258 14 p. |
artikel |
|
| 10 | Cartesian Monoids |
Statman, Rick |
2010 |
265 | C |
p. 437-451 15 p. |
artikel |
|
| 11 | Categorical Models for Simply Typed Resource Calculi |
Bucciarelli, Antonio |
2010 |
265 | C |
p. 213-230 18 p. |
artikel |
|
| 12 | Coalgebraic Representation Theory of Fractals |
Hasuo, Ichiro |
2010 |
265 | C |
p. 351-368 18 p. |
artikel |
|
| 13 | Combining Model Reductions |
Camporesi, Ferdinanda |
2010 |
265 | C |
p. 73-96 24 p. |
artikel |
|
| 14 | Compositional System Security with Interface-Confined Adversaries |
Garg, Deepak |
2010 |
265 | C |
p. 49-71 23 p. |
artikel |
|
| 15 | Fairness, Resources, and Separation |
Brookes, Stephen |
2010 |
265 | C |
p. 177-195 19 p. |
artikel |
|
| 16 | From Focalization of Logic to the Logic of Focalization |
Basaldella, Michele |
2010 |
265 | C |
p. 161-176 16 p. |
artikel |
|
| 17 | Full Abstraction Without Synchronization Primitives |
Murawski, Andrzej S. |
2010 |
265 | C |
p. 423-436 14 p. |
artikel |
|
| 18 | Future Path-components in Directed Topology |
Goubault, Eric |
2010 |
265 | C |
p. 325-335 11 p. |
artikel |
|
| 19 | Geometry of Synthesis II: From Games to Delay-Insensitive Circuits |
Ghica, Dan R. |
2010 |
265 | C |
p. 301-324 24 p. |
artikel |
|
| 20 | Modelling Local Variables: Possible Worlds and Object Spaces |
McCusker, Guy |
2010 |
265 | C |
p. 389-402 14 p. |
artikel |
|
| 21 | On Rule Formats for Zero and Unit Elements |
Aceto, Luca |
2010 |
265 | C |
p. 145-160 16 p. |
artikel |
|
| 22 | Preface |
Mislove, Michael |
2010 |
265 | C |
p. 1-3 3 p. |
artikel |
|
| 23 | Robin Milner's Work on Concurrency |
Abramsky, Samson |
2010 |
265 | C |
p. 5-10 6 p. |
artikel |
|
| 24 | Towards Measurable Types for Dynamical Process Modeling Languages |
Mjolsness, Eric |
2010 |
265 | C |
p. 123-144 22 p. |
artikel |
|
| 25 | Understanding Game Semantics Through Coherence Spaces |
Calderon, Ana C. |
2010 |
265 | C |
p. 231-244 14 p. |
artikel |
|
| 26 | Unitary Theories, Unitary Categories |
Hofstra, Pieter |
2010 |
265 | C |
p. 11-33 23 p. |
artikel |
26 gevonden resultaten