| Translated title of the contribution | Mints Type Deductive Calculi for Logic Programming |
|---|---|
| Original language | English |
| Pages (from-to) | 7 - 17 |
| Number of pages | 11 |
| Journal | Annals of Pure and Applied Logic |
| Volume | 56 |
| Publication status | Published - 1993 |
Mints Type Deductive Calculi for Logic Programming
JC Shepherdson
Research output: Contribution to journal › Article (Academic Journal) › peer-review