nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
1 |
Announcement
|
|
|
1997 |
15 |
4 |
p. 482-483 |
artikel |
2 |
Globally linear connection method
|
BrĂ¼ning, Stefan |
|
1997 |
15 |
4 |
p. 369-402 |
artikel |
3 |
Globally linear connection method
|
BrĂ¼ning, Stefan |
|
|
15 |
4 |
p. 369-402 |
artikel |
4 |
Mapping two complete binary trees into the star graph with quick fault recovery
|
Hsu, Chiun -Chieh |
|
1997 |
15 |
4 |
p. 403-419 |
artikel |
5 |
Mapping two complete binary trees into the star graph with quick fault recovery
|
Hsu, Chiun -Chieh |
|
|
15 |
4 |
p. 403-419 |
artikel |
6 |
Static analysis of Linear Logic programming
|
Andreoli, Jean -Marc |
|
1997 |
15 |
4 |
p. 449-481 |
artikel |
7 |
Static analysis of Linear Logic programming
|
Andreoli, Jean -Marc |
|
|
15 |
4 |
p. 449-481 |
artikel |
8 |
Towards a logic programming methodology based on higher-order predicates
|
Hamfelt, Andreas |
|
1997 |
15 |
4 |
p. 421-447 |
artikel |
9 |
Towards a logic programming methodology based on higher-order predicates
|
Hamfelt, Andreas |
|
|
15 |
4 |
p. 421-447 |
artikel |