| nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
| 1 |
Acknowledgement to Referees
|
,
|
|
2000
|
|
12 |
p. 1031-1032
|
artikel
|
| 2 |
Applications of a categorical framework for conceptual data modeling
|
ter Hofstede, A.H.M.
|
|
1997
|
|
12 |
p. 927-963
|
artikel
|
| 3 |
A transformation system for concurrent processes
|
De Francesco, Nicoletta
|
|
1998
|
|
12 |
p. 1037-1073
|
artikel
|
| 4 |
Axioms for generalized graphs, illustrated by a Cantor–Bernstein proposition
|
Engelfriet, Joost
|
|
1998
|
|
12 |
p. 1075-1096
|
artikel
|
| 5 |
Class hierarchy specialization
|
Tip, Frank
|
|
2000
|
|
12 |
p. 927-982
|
artikel
|
| 6 |
Dijkstra-Scholten predicate calculus: concepts and misconceptions
|
Bijlsma, Lex
|
|
1998
|
|
12 |
p. 1007-1036
|
artikel
|
| 7 |
Optimal fault-tolerant computing on multiprocessor systems
|
Bruno, John
|
|
1997
|
|
12 |
p. 881-904
|
artikel
|
| 8 |
Special factors, periodicity, and an application to Sturmian words
|
Carpi, Arturo
|
|
2000
|
|
12 |
p. 983-1006
|
artikel
|
| 9 |
The use of deleted tuples in database querying and updating
|
Laurent, D.
|
|
1997
|
|
12 |
p. 905-925
|
artikel
|
| 10 |
Type introduction for equational rewriting
|
Middeldorp, Aart
|
|
2000
|
|
12 |
p. 1007-1029
|
artikel
|
Tijdschrift beschrijving