| nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
| 1 |
Call for papers: MFCS'91 sixteenth international symposium on mathematical foundations of computer science September 9–13, 1991, Warsaw, Poland
|
|
|
1990
|
15 |
1 |
p. 115-116
2 p.
|
artikel
|
| 2 |
Editorial Board
|
|
|
1990
|
15 |
1 |
p. ii-
1 p.
|
artikel
|
| 3 |
Fundamentals of algebraic specifications 2, module specifications and constraints
|
Reichel, H.
|
|
1990
|
15 |
1 |
p. 113-114
2 p.
|
artikel
|
| 4 |
Left-bottom and right-top segments
|
Van Den Eijnde, J.P.H.W.
|
|
1990
|
15 |
1 |
p. 79-94
16 p.
|
artikel
|
| 5 |
Program inversion: More than fun!
|
Chen, Wei
|
|
1990
|
15 |
1 |
p. 1-13
13 p.
|
artikel
|
| 6 |
Strand: New concepts in parallel programming
|
Talia, Domenico
|
|
1990
|
15 |
1 |
p. 111-112
2 p.
|
artikel
|
| 7 |
The artificial intelligence debate: false starts, real foundations
|
Pratt, Ian
|
|
1990
|
15 |
1 |
p. 97-
1 p.
|
artikel
|
| 8 |
The design of data structures and algorithms
|
Bush, Vicky
|
|
1990
|
15 |
1 |
p. 95-97
3 p.
|
artikel
|
| 9 |
The emperor's new mind
|
Pratt, Ian
|
|
1990
|
15 |
1 |
p. 100-111
12 p.
|
artikel
|
| 10 |
The formal description technique Estelle
|
Milne, Robert E.
|
|
1990
|
15 |
1 |
p. 98-100
3 p.
|
artikel
|
| 11 |
The formal description technique LOTOS
|
Milne, Robert E.
|
|
1990
|
15 |
1 |
p. 98-
1 p.
|
artikel
|
| 12 |
The gamma model and its discipline of programming
|
Banâtre, Jean-Pierre
|
|
1990
|
15 |
1 |
p. 55-77
23 p.
|
artikel
|
| 13 |
Using rewriting techniques to produce code generators and proving them correct
|
Despland, Annie
|
|
1990
|
15 |
1 |
p. 15-54
40 p.
|
artikel
|
Tijdschrift beschrijving