|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
29 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | A Concurrent Model for Linear Logic |
Beffara, Emmanuel |
2006 |
155 | C |
p. 147-168 22 p. |
artikel |
|
| 2 | A Game Semantics for Proof Search: Preliminary Results |
Miller, Dale |
2006 |
155 | C |
p. 543-563 21 p. |
artikel |
|
| 3 | A Grainless Semantics for Parallel Programs with Shared Mutable Data |
Brookes, Stephen |
2006 |
155 | C |
p. 277-307 31 p. |
artikel |
|
| 4 | An Approach to Splitting Atoms Safely |
Jones, C.B. |
2006 |
155 | C |
p. 43-60 18 p. |
artikel |
|
| 5 | A Quillen Model Structure for Chu Spaces |
Egger, Jeffrey M. |
2006 |
155 | C |
p. 361-377 17 p. |
artikel |
|
| 6 | A Type-theoretic Reconstruction of the Visitor Pattern |
Buchlovsky, Peter |
2006 |
155 | C |
p. 309-329 21 p. |
artikel |
|
| 7 | Automata Games for Multiple-model Checking |
Hussain, Altaf |
2006 |
155 | C |
p. 401-421 21 p. |
artikel |
|
| 8 | Automated Security Protocol Analysis With the AVISPA Tool |
Viganò, Luca |
2006 |
155 | C |
p. 61-86 26 p. |
artikel |
|
| 9 | Domain Theoretic Solutions of Initial Value Problems for Unbounded Vector Fields |
Edalat, Abbas |
2006 |
155 | C |
p. 565-581 17 p. |
artikel |
|
| 10 | Elgot Algebras |
Adámek, Jiří |
2006 |
155 | C |
p. 87-109 23 p. |
artikel |
|
| 11 | First Steps in Synthetic Computability Theory |
Bauer, Andrej |
2006 |
155 | C |
p. 5-31 27 p. |
artikel |
|
| 12 | Hiproofs: A Hierarchical Notion of Proof Tree |
Denney, Ewen |
2006 |
155 | C |
p. 341-359 19 p. |
artikel |
|
| 13 | Infinite Trace Equivalence |
Levy, Paul Blain |
2006 |
155 | C |
p. 467-496 30 p. |
artikel |
|
| 14 | Injective Convergence Spaces and Equilogical Spaces via Pretopological Spaces |
Heckmann, Reinhold |
2006 |
155 | C |
p. 379-399 21 p. |
artikel |
|
| 15 | Normal Form Simulation for McCarthy's Amb |
Lassen, Soren B. |
2006 |
155 | C |
p. 445-465 21 p. |
artikel |
|
| 16 | On the Relationship Between Web Services Security and Traditional Protocols |
Kleiner, E. |
2006 |
155 | C |
p. 583-603 21 p. |
artikel |
|
| 17 | On Timed Models and Full Abstraction |
Lowe, Gavin |
2006 |
155 | C |
p. 497-519 23 p. |
artikel |
|
| 18 | Parametric Domain-theoretic Models of Polymorphic Intuitionistic / Linear Lambda Calculus |
Birkedal, Lars |
2006 |
155 | C |
p. 191-217 27 p. |
artikel |
|
| 19 | Practical Program Extraction from Classical Proofs |
Makarov, Yevgeniy |
2006 |
155 | C |
p. 521-542 22 p. |
artikel |
|
| 20 | Preface |
Escardó, Martín |
2006 |
155 | C |
p. 1-3 3 p. |
artikel |
|
| 21 | Probabilistic and Nondeterministic Aspects of Anonymity |
Palamidessi, Catuscia |
2006 |
155 | C |
p. 33-42 10 p. |
artikel |
|
| 22 | Probabilistic Observations and Valuations |
Schröder, Matthias |
2006 |
155 | C |
p. 605-615 11 p. |
artikel |
|
| 23 | Program Extraction From Proofs of Weak Head Normalization |
Biernacka, Małgorzata |
2006 |
155 | C |
p. 169-189 21 p. |
artikel |
|
| 24 | Real-or-random Key Secrecy of the Otway-Rees Protocol via a Symbolic Security Proof |
Backes, Michael |
2006 |
155 | C |
p. 111-145 35 p. |
artikel |
|
| 25 | Strongly Compact Closed Semantics |
Coecke, Bob |
2006 |
155 | C |
p. 331-340 10 p. |
artikel |
|
| 26 | Synthetic Domain Theory and Models of Linear Abadi & Plotkin Logic |
Møgelberg, Rasmus Ejlers |
2006 |
155 | C |
p. 219-245 27 p. |
artikel |
|
| 27 | Topological Cones: Foundations for a Domain Theoretical Semantics Combining Probability and Nondeterminism |
Keimel, Klaus |
2006 |
155 | C |
p. 423-443 21 p. |
artikel |
|
| 28 | Towards “Dynamic Domains”: Totally Continuous Cocomplete Q -categories |
Stubbe, Isar |
2006 |
155 | C |
p. 617-634 18 p. |
artikel |
|
| 29 | Variables as Resource in Separation Logic |
Bornat, Richard |
2006 |
155 | C |
p. 247-276 30 p. |
artikel |
29 gevonden resultaten