Unfold/fold transformations of logic programs

JC Shepherdson

Research output: Contribution to journal › Article (Academic Journal) › peer-review

5 Citations (Scopus)

Translated title of the contribution	Unfold/fold transformations of logic programs
Original language	English
Pages (from-to)	143 - 157
Number of pages	15
Journal	Mathematical Structures in Computer Science
Volume	2
Publication status	Published - 1992

Publisher: Cambridge University Press

Handle.net

@article{9f51135f1a0947b8933ce1525ffd669f,

title = "Unfold/fold transformations of logic programs",

author = "JC Shepherdson",

note = "Publisher: Cambridge University Press",

year = "1992",

language = "English",

volume = "2",

pages = "143 -- 157",

journal = "Mathematical Structures in Computer Science",

issn = "1469-8072",

publisher = "Cambridge University Press",

}