An algorithm of generalization in positive supercompilation
Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Standard
An algorithm of generalization in positive supercompilation. / Sørensen, Morten Heine; Glück, Robert.
Logic Programming: Proceedings of the 1995 International Symposium. ed. / John W. Lloyd. MIT Press, 1995. p. 465-479.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Harvard
Sørensen, MH & Glück, R 1995, An algorithm of generalization in positive supercompilation. in JW Lloyd (ed.), Logic Programming: Proceedings of the 1995 International Symposium. MIT Press, pp. 465-479.
APA
Sørensen, M. H., & Glück, R. (1995). An algorithm of generalization in positive supercompilation. In J. W. Lloyd (Ed.), Logic Programming: Proceedings of the 1995 International Symposium (pp. 465-479). MIT Press.
Vancouver
Sørensen MH, Glück R. An algorithm of generalization in positive supercompilation. In Lloyd JW, editor, Logic Programming: Proceedings of the 1995 International Symposium. MIT Press. 1995. p. 465-479
Author
Bibtex
@inproceedings{cbf05b855ee84fd79ab927ec31932e90,
title = "An algorithm of generalization in positive supercompilation",
author = "S{\o}rensen, {Morten Heine} and Robert Gl{\"u}ck",
year = "1995",
language = "English",
isbn = "0-262-62099-5",
pages = "465--479",
editor = "Lloyd, {John W.}",
booktitle = "Logic Programming: Proceedings of the 1995 International Symposium",
publisher = "MIT Press",
address = "United States",
}
RIS
TY - GEN
T1 - An algorithm of generalization in positive supercompilation
AU - Sørensen, Morten Heine
AU - Glück, Robert
PY - 1995
Y1 - 1995
M3 - Article in proceedings
SN - 0-262-62099-5
SP - 465
EP - 479
BT - Logic Programming: Proceedings of the 1995 International Symposium
A2 - Lloyd, John W.
PB - MIT Press
ER -
ID: 177366370