| nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
| 1 |
A calculus of program adaptation and its applications
|
Ayed, Rahma Ben
|
|
2000
|
38 |
1-3 |
p. 73-123
51 p.
|
artikel
|
| 2 |
A generative methodology for the design of abstract machines
|
Diehl, Stephan
|
|
2000
|
38 |
1-3 |
p. 125-142
18 p.
|
artikel
|
| 3 |
Combinations of abstract domains for logic programming: open product and generic pattern construction
|
Cortesi, Agostino
|
|
2000
|
38 |
1-3 |
p. 27-71
45 p.
|
artikel
|
| 4 |
Communicating and Mobile Systems: the π-calculus,
|
Sangiorgi, Davide
|
|
2000
|
38 |
1-3 |
p. 151-153
3 p.
|
artikel
|
| 5 |
Deriving relational programs for computing kernels by reconstructing a proof of Richardson's theorem
|
Berghammer, Rudolf
|
|
2000
|
38 |
1-3 |
p. 1-25
25 p.
|
artikel
|
| 6 |
Index
|
|
|
2000
|
38 |
1-3 |
p. 159-
1 p.
|
artikel
|
| 7 |
Performance Modeling with Deterministic and Stochastic Petri Nets
|
Balbo, Gianfranco
|
|
2000
|
38 |
1-3 |
p. 143-146
4 p.
|
artikel
|
| 8 |
Practical Foundations of Mathematics
|
Streicher, Thomas
|
|
2000
|
38 |
1-3 |
p. 155-157
3 p.
|
artikel
|
| 9 |
The Tbilisi Symposium on Logic, Language and Computation: Selected Papers
|
van Eijck, Jan
|
|
2000
|
38 |
1-3 |
p. 147-149
3 p.
|
artikel
|
Tijdschrift beschrijving