| Translated title of the contribution | Language and equality theory in logic programming |
|---|---|
| Original language | English |
| Title of host publication | Logic, Meaning and Computation |
| Editors | CA Anderson, M Zeleny |
| Publisher | Kluwer Academic Publishers |
| Pages | 365 - 392 |
| Number of pages | 28 |
| Publication status | Published - 2001 |
Language and equality theory in logic programming
JC Shepherdson
Research output: Chapter in Book/Report/Conference proceeding › Chapter in a book