Unfold/fold transformations of logic programs

JC Shepherdson

Research output: Contribution to journalArticle (Academic Journal)

5 Citations (Scopus)
Translated title of the contributionUnfold/fold transformations of logic programs
Original languageEnglish
Pages (from-to)143 - 157
Number of pages15
JournalMathematical Structures in Computer Science
Volume2
Publication statusPublished - 1992

Bibliographical note

Publisher: Cambridge University Press

Cite this