Language and equality theory in logic programming

JC Shepherdson

Research output: Chapter in Book/Report/Conference proceedingChapter in a book

Translated title of the contributionLanguage and equality theory in logic programming
Original languageEnglish
Title of host publicationLogic, Meaning and Computation
EditorsCA Anderson, M Zeleny
PublisherKluwer Academic Publishers
Pages365 - 392
Number of pages28
Publication statusPublished - 2001

Cite this