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