|
Journal description
All volumes of the corresponding journal
All issues of the corresponding volume
All articles of the corresponding issues
4 results found
| no | title | author | magazine | year | volume | issue | page(s) | type |
| 1 | A technique for doing lazy evaluation in logic |
Narain, Sanjai |
1986 |
3 | 3 |
p. 259-276 18 p. |
article |
|
| 2 | Login: a logic programming language with built-in inheritance |
Aït-Kaci, Hassan |
1986 |
3 | 3 |
p. 185-215 31 p. |
article |
|
| 3 | Natural deduction as higher-order resolution |
Paulson, Lawrence C. |
1986 |
3 | 3 |
p. 237-258 22 p. |
article |
|
| 4 | The relation between logic and functional languages: a survey |
Bellia, Marco |
1986 |
3 | 3 |
p. 217-236 20 p. |
article |
4 results found