| nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
| 1 |
A Category-Theoretic Approach to Social Network Analysis
|
Dekker, Anthony H.
|
|
2002
|
61 |
C |
p. 21-33
13 p.
|
artikel
|
| 2 |
Bisimulation-based Non-deterministic Admissible Interference and its Application to the Analysis of Cryptographic Protocols
|
Lafrance, Stéphane
|
|
2002
|
61 |
C |
p. 154-177
24 p.
|
artikel
|
| 3 |
Computing over K-modules
|
Ghani, Neil
|
|
2002
|
61 |
C |
p. 34-50
17 p.
|
artikel
|
| 4 |
Declarative programming
|
Crossley, John N.
|
|
2002
|
61 |
C |
p. 20-
1 p.
|
artikel
|
| 5 |
Dedekind completion as a method for constructing new Scott domains
|
Grue, Klaus
|
|
2002
|
61 |
C |
p. 140-153
14 p.
|
artikel
|
| 6 |
Don't Care Non-determinism in Logic Program Refinement
|
Hemer, David
|
|
2002
|
61 |
C |
p. 101-121
21 p.
|
artikel
|
| 7 |
Drawing Ruled Surfaces Using the Dual De Boor Algorithm
|
Ding, Rena
|
|
2002
|
61 |
C |
p. 178-190
13 p.
|
artikel
|
| 8 |
Efficient Algorithms for the Maximum Subarray Problem by Distance Matrix Multiplication
|
Takaoka, Tadao
|
|
2002
|
61 |
C |
p. 191-200
10 p.
|
artikel
|
| 9 |
On the Structure of Counterexamples to Symmetric Orderings for BDD's
|
Verma, Rakesh M.
|
|
2002
|
61 |
C |
p. 84-100
17 p.
|
artikel
|
| 10 |
Parameterized Complexity
|
Fellows, Michael R.
|
|
2002
|
61 |
C |
p. 1-19
19 p.
|
artikel
|
| 11 |
Preface
|
Harland, James
|
|
2002
|
61 |
C |
p. 212-213
2 p.
|
artikel
|
| 12 |
Sketch Data Models, Relational Schema and Data Specifications 1 1 Research partially supported by the Australian Research Council, NSERC Canada, and the Oxford Computing Laboratory.
|
Johnson, Michael
|
|
2002
|
61 |
C |
p. 51-63
13 p.
|
artikel
|
| 13 |
Towards an Arithmetic Theory of Consistency Enforcement based on Preservation of δ-constraints
|
Link, Sebastian
|
|
2002
|
61 |
C |
p. 64-83
20 p.
|
artikel
|
| 14 |
Typed behavioural equivalences for processes in the presence of subtyping
|
Hennessy, Matthew
|
|
2002
|
61 |
C |
p. 122-139
18 p.
|
artikel
|
| 15 |
Zooming-out on Higraph-based diagrams
|
Anderson, Stuart
|
|
2002
|
61 |
C |
p. 201-211
11 p.
|
artikel
|
Tijdschrift beschrijving