Transforming normal programs by replacement

A. Bossi; N. Cocco; S. Etalle

doi:10.1007/3-540-56282-6_18

Transforming normal programs by replacement

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	Meta-Programming in Logic (Proceedings 3rd International Workshop, META-92, Uppsala, Sweden, June 10-12, 1992)
Editors	A. Pettorossi
Publisher	Springer
Pages	265-279
ISBN (Print)	3-540-56282-6
DOIs	https://doi.org/10.1007/3-540-56282-6_18
Publication status	Published - 1992

Publication series

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

Access to Document

10.1007/3-540-56282-6_18

Cite this

@inproceedings{c6d50131d3da4c36becc94ba6ff0a6a5,

title = "Transforming normal programs by replacement",

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

year = "1992",

doi = "10.1007/3-540-56282-6\_18",

language = "English",

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

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "265--279",

editor = "A. Pettorossi",

booktitle = "Meta-Programming in Logic (Proceedings 3rd International Workshop, META-92, Uppsala, Sweden, June 10-12, 1992)",

address = "Germany",

}

Transforming normal programs by replacement. / Bossi, A.; Cocco, N.; Etalle, S.
Meta-Programming in Logic (Proceedings 3rd International Workshop, META-92, Uppsala, Sweden, June 10-12, 1992). ed. / A. Pettorossi. Springer, 1992. p. 265-279 (Lecture Notes in Computer Science; Vol. 649).

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

TY - GEN

T1 - Transforming normal programs by replacement

AU - Bossi, A.

AU - Cocco, N.

AU - Etalle, S.

PY - 1992

Y1 - 1992

U2 - 10.1007/3-540-56282-6_18

DO - 10.1007/3-540-56282-6_18

M3 - Conference contribution

SN - 3-540-56282-6

T3 - Lecture Notes in Computer Science

SP - 265

EP - 279

BT - Meta-Programming in Logic (Proceedings 3rd International Workshop, META-92, Uppsala, Sweden, June 10-12, 1992)

A2 - Pettorossi, A.

PB - Springer

ER -