| nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
| 1 |
A complete logic for behavioural equivalence in coalgebras of finitary set functors
|
Sprunger, David
|
|
2018
|
94 |
C |
p. 184-199
|
artikel
|
| 2 |
Editorial Board
|
|
|
2018
|
94 |
C |
p. IFC
|
artikel
|
| 3 |
Formally verifying exceptions for low-level code with separation logic
|
Paviotti, Marco
|
|
2018
|
94 |
C |
p. 1-14
|
artikel
|
| 4 |
From probability monads to commutative effectuses
|
Jacobs, Bart
|
|
2018
|
94 |
C |
p. 200-237
|
artikel
|
| 5 |
On the accuracy of formal verification of selective defenses for TDoS attacks
|
Lemos, Marcilio O.O.
|
|
2018
|
94 |
C |
p. 45-67
|
artikel
|
| 6 |
Preface
|
Hasuo, Ichiro
|
|
2018
|
94 |
C |
p. 183
|
artikel
|
| 7 |
Programming from metaphorisms
|
Oliveira, José Nuno
|
|
2018
|
94 |
C |
p. 15-44
|
artikel
|
| 8 |
Recursion versus tail recursion over F ¯ p
|
Bhaskar, Siddharth
|
|
2018
|
94 |
C |
p. 68-90
|
artikel
|
| 9 |
Reversible computation in term rewriting
|
Nishida, Naoki
|
|
2018
|
94 |
C |
p. 128-149
|
artikel
|
| 10 |
To every manifest domain a CSP expression – a rôle for mereology in computer science
|
Bjørner, Dines
|
|
2018
|
94 |
C |
p. 91-108
|
artikel
|
| 11 |
ULTraS at work: Compositionality metaresults for bisimulation and trace semantics
|
Bernardo, Marco
|
|
2018
|
94 |
C |
p. 150-182
|
artikel
|
| 12 |
Virtually timed ambients: A calculus of nested virtualization
|
Johnsen, Einar Broch
|
|
2018
|
94 |
C |
p. 109-127
|
artikel
|
Tijdschrift beschrijving