|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
23 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | A Categorical Theory of Patches |
Mimram, Samuel |
2013 |
298 | C |
p. 283-307 25 p. |
artikel |
|
| 2 | A Connection Between Concurrency and Language Theory |
Ésik, Zoltán |
2013 |
298 | C |
p. 143-164 22 p. |
artikel |
|
| 3 | A Geometric View of Partial Order Reduction |
Goubault, Eric |
2013 |
298 | C |
p. 179-195 17 p. |
artikel |
|
| 4 | Approximating Bisimilarity for Markov Processes |
Zhou, Chunlai |
2013 |
298 | C |
p. 427-440 14 p. |
artikel |
|
| 5 | A Stream Calculus of Bottomed Sequences for Real Number Computation |
Terayama, Kei |
2013 |
298 | C |
p. 383-402 20 p. |
artikel |
|
| 6 | Automata-Theoretic Semantics of Idealized Algol with Passive Expressions |
Reddy, Uday S. |
2013 |
298 | C |
p. 325-348 24 p. |
artikel |
|
| 7 | Bicategorical Semantics for Nondeterministic Computation |
Stay, Mike |
2013 |
298 | C |
p. 367-382 16 p. |
artikel |
|
| 8 | Coinductive Predicates and Final Sequences in a Fibration |
Hasuo, Ichiro |
2013 |
298 | C |
p. 197-214 18 p. |
artikel |
|
| 9 | Continuity of Gödelʼs System T Definable Functionals via Effectful Forcing |
Escardó, Martín |
2013 |
298 | C |
p. 119-141 23 p. |
artikel |
|
| 10 | Dedication |
Brookes, Stephen |
2013 |
298 | C |
p. 3-5 3 p. |
artikel |
|
| 11 | Distributed Probabilistic and Quantum Strategies |
Winskel, Glynn |
2013 |
298 | C |
p. 403-425 23 p. |
artikel |
|
| 12 | History-Preserving Bisimilarity for Higher-Dimensional Automata via Open Maps |
Fahrenberg, Uli |
2013 |
298 | C |
p. 165-178 14 p. |
artikel |
|
| 13 | Layout Randomization and Nondeterminism |
Abadi, Martín |
2013 |
298 | C |
p. 29-50 22 p. |
artikel |
|
| 14 | Linearization of Automatic Arrays and Weave Specifications |
Sprunger, David |
2013 |
298 | C |
p. 349-365 17 p. |
artikel |
|
| 15 | Monads for Behaviour |
Piróg, Maciej |
2013 |
298 | C |
p. 309-324 16 p. |
artikel |
|
| 16 | Nominal Lambda Calculus: An Internal Language for FM-Cartesian Closed Categories |
Crole, Roy L. |
2013 |
298 | C |
p. 93-117 25 p. |
artikel |
|
| 17 | Normalization by Evaluation and Algebraic Effects |
Ahman, Danel |
2013 |
298 | C |
p. 51-69 19 p. |
artikel |
|
| 18 | On Block Structures in Quantum Computation |
Jacobs, Bart |
2013 |
298 | C |
p. 233-255 23 p. |
artikel |
|
| 19 | On Concurrent Games with Payoff |
Clairambault, Pierre |
2013 |
298 | C |
p. 71-92 22 p. |
artikel |
|
| 20 | Preface |
Kozen, Dexter |
2013 |
298 | C |
p. 1-2 2 p. |
artikel |
|
| 21 | Quasicontinuous Domains and the Smyth Powerdomain |
Heckmann, Reinhold |
2013 |
298 | C |
p. 215-232 18 p. |
artikel |
|
| 22 | Rational Operational Models |
Milius, Stefan |
2013 |
298 | C |
p. 257-282 26 p. |
artikel |
|
| 23 | Varieties and Covarieties of Languages (Extended Abstract) |
Rutten, Jan |
2013 |
298 | C |
p. 7-28 22 p. |
artikel |
23 gevonden resultaten