|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
24 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | A Characterisation of Expressivity for Coalgebraic Bisimulation and Simulation |
Wilkinson, Toby |
2012 |
286 | C |
p. 323-336 14 p. |
artikel |
|
| 2 | A Graphical Foundation for Schedules |
McCusker, Guy |
2012 |
286 | C |
p. 273-289 17 p. |
artikel |
|
| 3 | Algebra, Proof Theory and Applications for a Logic of Propositions, Actions and Adjoint Modal Operators |
Dyckhoff, Roy |
2012 |
286 | C |
p. 157-172 16 p. |
artikel |
|
| 4 | A Representation Theorem for Unique Decomposition Categories |
Hoshino, Naohiko |
2012 |
286 | C |
p. 213-227 15 p. |
artikel |
|
| 5 | A Simply Typed λ-Calculus of Forward Automatic Differentiation |
Manzyuk, Oleksandr |
2012 |
286 | C |
p. 257-272 16 p. |
artikel |
|
| 6 | A System-Level Game Semantics |
Ghica, Dan R. |
2012 |
286 | C |
p. 191-211 21 p. |
artikel |
|
| 7 | A Truly Concurrent Process Semantics over Multi-Pomsets of Consumable Resources |
Teodosiu, Dan |
2012 |
286 | C |
p. 307-321 15 p. |
artikel |
|
| 8 | Category Theoretic Understandings of Universal Algebra and its Dual: Monads and Lawvere Theories, Comonads and What? |
Behrisch, Mike |
2012 |
286 | C |
p. 5-16 12 p. |
artikel |
|
| 9 | Continuation Models for the Lambda Calculus With Constructors |
Petit, Barbara |
2012 |
286 | C |
p. 337-350 14 p. |
artikel |
|
| 10 | Data Types with Symmetries and Polynomial Functors over Groupoids |
Kock, Joachim |
2012 |
286 | C |
p. 351-365 15 p. |
artikel |
|
| 11 | Dedication |
Brookes, Stephen |
2012 |
286 | C |
p. 3- 1 p. |
artikel |
|
| 12 | Extracting a DPLL Algorithm |
Lawrence, Andrew |
2012 |
286 | C |
p. 243-256 14 p. |
artikel |
|
| 13 | Final Semantics for Decorated Traces |
Bonchi, Filippo |
2012 |
286 | C |
p. 73-86 14 p. |
artikel |
|
| 14 | Game Semantics in the Nominal Model |
Gabbay, Murdoch |
2012 |
286 | C |
p. 173-189 17 p. |
artikel |
|
| 15 | Network Conscious π-calculus: A Concurrent Semantics |
Montanari, Ugo |
2012 |
286 | C |
p. 291-306 16 p. |
artikel |
|
| 16 | New |
Kozen, Dexter |
2012 |
286 | C |
p. 17-42 26 p. |
artikel |
|
| 17 | Nominal SOS |
Cimini, Matteo |
2012 |
286 | C |
p. 103-116 14 p. |
artikel |
|
| 18 | Observationally-induced Effects in Cartesian Closed Categories |
Battenfeld, Ingo |
2012 |
286 | C |
p. 43-56 14 p. |
artikel |
|
| 19 | Preface |
Berger, Ulrich |
2012 |
286 | C |
p. 1-2 2 p. |
artikel |
|
| 20 | Syntactic Control of Interference and Concurrent Separation Logic |
Brookes, Stephen |
2012 |
286 | C |
p. 87-102 16 p. |
artikel |
|
| 21 | Time Bounds for General Function Pointers |
Dockins, Robert |
2012 |
286 | C |
p. 139-155 17 p. |
artikel |
|
| 22 | Timed Sets, Functional Complexity, and Computability |
Cockett, Robin |
2012 |
286 | C |
p. 117-137 21 p. |
artikel |
|
| 23 | Towards a Common Categorical Semantics for Linear-Time Temporal Logic and Functional Reactive Programming |
Jeltsch, Wolfgang |
2012 |
286 | C |
p. 229-242 14 p. |
artikel |
|
| 24 | Typed vs. Untyped Realizability |
Berger, Ulrich |
2012 |
286 | C |
p. 57-71 15 p. |
artikel |
24 gevonden resultaten