Unfold/fold transformations of logic programs

PA Gardner, JC Shepherdson

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

Translated title of the contributionUnfold/fold transformations of logic programs
Original languageEnglish
Title of host publicationEssays in honour of Alan Robinson
EditorsJ-L Lassez, G Plotkin
PublisherMassachusetts Institute of Technology (MIT) Press
Pages542 - 564
Number of pages22
ISBN (Print)026212156
Publication statusPublished - 1991

Cite this