|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
9 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | Editorial Board |
1992 |
14 | 1-2 |
p. IFC- 1 p. |
artikel |
||
| 2 | Efficient run-time type checking of typed logic programs |
Dart, Philip W. |
1992 |
14 | 1-2 |
p. 31-69 39 p. |
artikel |
|
| 3 | On rewrite programs: Semantics and relationship with prolog |
Bonacina, Maria Paola |
1992 |
14 | 1-2 |
p. 155-180 26 p. |
artikel |
|
| 4 | On Van Gelder's loop detection algorithm |
Skordev, Dimiter |
1992 |
14 | 1-2 |
p. 181-183 3 p. |
artikel |
|
| 5 | Parallel bottom-up processing of datalog queries |
Ganguly, Sumit |
1992 |
14 | 1-2 |
p. 101-126 26 p. |
artikel |
|
| 6 | Proving termination properties of prolog programs: A semantic approach |
Baudinet, Marianne |
1992 |
14 | 1-2 |
p. 1-29 29 p. |
artikel |
|
| 7 | The term rewriting approach to automated theorem proving |
Hsiang, Jieh |
1992 |
14 | 1-2 |
p. 71-99 29 p. |
artikel |
|
| 8 | Van Gelder's response |
Van Gelder, A. |
1992 |
14 | 1-2 |
p. 185- 1 p. |
artikel |
|
| 9 | What should a database know? |
Reiter, Raymond |
1992 |
14 | 1-2 |
p. 127-153 27 p. |
artikel |
9 gevonden resultaten