On safe folding

A. Bossi; N. Cocco; S. Etalle

doi:10.1007/3-540-55844-6_94

On safe folding

A. Bossi, N. Cocco, S. Etalle

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

Original language	English
Title of host publication	Programming Language Implementation and Logic Programming (Proceedings 4th International Symposium, PLILP'92, Leuven, Belgium, August 26-28, 1992)
Editors	M. Bruynooghe, M. Wirsing
Publisher	Springer
Pages	172-186
ISBN (Print)	3-540-55844-6
DOIs	https://doi.org/10.1007/3-540-55844-6_94
Publication status	Published - 1992

Publication series

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

Access to Document

10.1007/3-540-55844-6_94

Cite this

@inproceedings{7d49f30a1ce846e28bad45dadce5aa0a,

title = "On safe folding",

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

year = "1992",

doi = "10.1007/3-540-55844-6_94",

language = "English",

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

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "172--186",

editor = "M. Bruynooghe and M. Wirsing",

booktitle = "Programming Language Implementation and Logic Programming (Proceedings 4th International Symposium, PLILP'92, Leuven, Belgium, August 26-28, 1992)",

address = "Germany",

}

On safe folding. / Bossi, A.; Cocco, N.; Etalle, S.

Programming Language Implementation and Logic Programming (Proceedings 4th International Symposium, PLILP'92, Leuven, Belgium, August 26-28, 1992). ed. / M. Bruynooghe; M. Wirsing. Springer, 1992. p. 172-186 (Lecture Notes in Computer Science; Vol. 631).

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

TY - GEN

T1 - On safe folding

AU - Bossi, A.

AU - Cocco, N.

AU - Etalle, S.

PY - 1992

Y1 - 1992

U2 - 10.1007/3-540-55844-6_94

DO - 10.1007/3-540-55844-6_94

M3 - Conference contribution

SN - 3-540-55844-6

T3 - Lecture Notes in Computer Science

SP - 172

EP - 186

BT - Programming Language Implementation and Logic Programming (Proceedings 4th International Symposium, PLILP'92, Leuven, Belgium, August 26-28, 1992)

A2 - Bruynooghe, M.

A2 - Wirsing, M.

PB - Springer

ER -