Translated title of the contribution | The role of standardising apart in logic programming |
---|---|
Original language | English |
Pages (from-to) | 143 - 166 |
Number of pages | 24 |
Journal | Theoretical Computer Science |
Volume | 129 |
Publication status | Published - 1994 |
The role of standardising apart in logic programming
JC Shepherdson
Research output: Contribution to journal › Article (Academic Journal) › peer-review
6
Citations
(Scopus)