More on unfold/fold transformations of normal programs : preservation of fitting's semantics

A. Bossi; S. Etalle

doi:10.1007/3-540-58792-6_20

More on unfold/fold transformations of normal programs : preservation of fitting's semantics

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

Original language	English
Title of host publication	Logic Programming Synthesis and Transformation - Meta-Programming in Logic (Proceedings 4th Internation Workshops, LOPSTR'94 and META'94, Pisa, Italy, June 20-21, 1994)
Editors	L. Fribourg, F. Turini
Publisher	Springer
Pages	311-331
ISBN (Print)	3-540-58792-6
DOIs	https://doi.org/10.1007/3-540-58792-6_20
Publication status	Published - 1994

Publication series

Name	Lecture Notes in Computer Science
Volume	883
ISSN (Print)	0302-9743

Access to Document

10.1007/3-540-58792-6_20

Cite this

Bossi, A., & Etalle, S. (1994). More on unfold/fold transformations of normal programs : preservation of fitting's semantics. In L. Fribourg, & F. Turini (Eds.), Logic Programming Synthesis and Transformation - Meta-Programming in Logic (Proceedings 4th Internation Workshops, LOPSTR'94 and META'94, Pisa, Italy, June 20-21, 1994) (pp. 311-331). (Lecture Notes in Computer Science; Vol. 883). Springer. https://doi.org/10.1007/3-540-58792-6_20

Bossi, A. ; Etalle, S. / More on unfold/fold transformations of normal programs : preservation of fitting's semantics. Logic Programming Synthesis and Transformation - Meta-Programming in Logic (Proceedings 4th Internation Workshops, LOPSTR'94 and META'94, Pisa, Italy, June 20-21, 1994). editor / L. Fribourg ; F. Turini. Springer, 1994. pp. 311-331 (Lecture Notes in Computer Science).

@inproceedings{81436d4956ed4df0ba21ed7c14d33e31,

title = "More on unfold/fold transformations of normal programs : preservation of fitting's semantics",

author = "A. Bossi and S. Etalle",

year = "1994",

doi = "10.1007/3-540-58792-6_20",

language = "English",

isbn = "3-540-58792-6",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "311--331",

editor = "L. Fribourg and F. Turini",

booktitle = "Logic Programming Synthesis and Transformation - Meta-Programming in Logic (Proceedings 4th Internation Workshops, LOPSTR'94 and META'94, Pisa, Italy, June 20-21, 1994)",

address = "Germany",

}

Bossi, A & Etalle, S 1994, More on unfold/fold transformations of normal programs : preservation of fitting's semantics. in L Fribourg & F Turini (eds), Logic Programming Synthesis and Transformation - Meta-Programming in Logic (Proceedings 4th Internation Workshops, LOPSTR'94 and META'94, Pisa, Italy, June 20-21, 1994). Lecture Notes in Computer Science, vol. 883, Springer, pp. 311-331. https://doi.org/10.1007/3-540-58792-6_20

More on unfold/fold transformations of normal programs : preservation of fitting's semantics. / Bossi, A.; Etalle, S.
Logic Programming Synthesis and Transformation - Meta-Programming in Logic (Proceedings 4th Internation Workshops, LOPSTR'94 and META'94, Pisa, Italy, June 20-21, 1994). ed. / L. Fribourg; F. Turini. Springer, 1994. p. 311-331 (Lecture Notes in Computer Science; Vol. 883).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

TY - GEN

T1 - More on unfold/fold transformations of normal programs : preservation of fitting's semantics

AU - Bossi, A.

AU - Etalle, S.

PY - 1994

Y1 - 1994

U2 - 10.1007/3-540-58792-6_20

DO - 10.1007/3-540-58792-6_20

M3 - Conference contribution

SN - 3-540-58792-6

T3 - Lecture Notes in Computer Science

SP - 311

EP - 331

BT - Logic Programming Synthesis and Transformation - Meta-Programming in Logic (Proceedings 4th Internation Workshops, LOPSTR'94 and META'94, Pisa, Italy, June 20-21, 1994)

A2 - Fribourg, L.

A2 - Turini, F.

PB - Springer

ER -

Bossi A, Etalle S. More on unfold/fold transformations of normal programs : preservation of fitting's semantics. In Fribourg L, Turini F, editors, Logic Programming Synthesis and Transformation - Meta-Programming in Logic (Proceedings 4th Internation Workshops, LOPSTR'94 and META'94, Pisa, Italy, June 20-21, 1994). Springer. 1994. p. 311-331. (Lecture Notes in Computer Science). doi: 10.1007/3-540-58792-6_20