|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
9 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | A core model for choreographic programming |
Cruz-Filipe, Luís |
|
802 | C |
p. 38-66 |
artikel |
|
| 2 | Algebraic graph rewriting with controlled embedding |
Corradini, Andrea |
|
802 | C |
p. 19-37 |
artikel |
|
| 3 | Editorial Board |
|
802 | C |
p. ii |
artikel |
||
| 4 | Evaluating lambda terms with traversals |
Blum, William |
|
802 | C |
p. 77-104 |
artikel |
|
| 5 | One-variable logic meets Presburger arithmetic |
Bednarczyk, Bartosz |
|
802 | C |
p. 141-146 |
artikel |
|
| 6 | On the complexity of the correctness problem for non-zeroness test instruction sequences |
Bergstra, J.A. |
|
802 | C |
p. 1-18 |
artikel |
|
| 7 | Probabilistic divide & congruence: Branching bisimilarity |
Castiglioni, Valentina |
|
802 | C |
p. 147-196 |
artikel |
|
| 8 | Strassen's theorem for quantum couplings |
Zhou, Li |
|
802 | C |
p. 67-76 |
artikel |
|
| 9 | Unifying theories of reactive design contracts |
Foster, Simon |
|
802 | C |
p. 105-140 |
artikel |
9 gevonden resultaten