On deforesting parameters of accumulating maps
Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Standard
On deforesting parameters of accumulating maps. / Kakehi, Kazuhiko; Glück, Robert; Futamura, Yoshihiko.
Logic Based Program Synthesis and Transformation. ed. / Alberto Pettorossi. Springer Verlag, 2002. p. 46-56 (Lecture notes in computer science, Vol. 2372).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Harvard
Kakehi, K, Glück, R & Futamura, Y 2002, On deforesting parameters of accumulating maps. in A Pettorossi (ed.), Logic Based Program Synthesis and Transformation. Springer Verlag, Lecture notes in computer science, vol. 2372, pp. 46-56. https://doi.org/10.1007/3-540-45607-4_3
APA
Kakehi, K., Glück, R., & Futamura, Y. (2002). On deforesting parameters of accumulating maps. In A. Pettorossi (Ed.), Logic Based Program Synthesis and Transformation (pp. 46-56). Springer Verlag. Lecture notes in computer science Vol. 2372 https://doi.org/10.1007/3-540-45607-4_3
Vancouver
Kakehi K, Glück R, Futamura Y. On deforesting parameters of accumulating maps. In Pettorossi A, editor, Logic Based Program Synthesis and Transformation. Springer Verlag. 2002. p. 46-56. (Lecture notes in computer science, Vol. 2372). https://doi.org/10.1007/3-540-45607-4_3
Author
Bibtex
@inproceedings{47f186d7de694639ac1f85e2f2b1eb47,
title = "On deforesting parameters of accumulating maps",
author = "Kazuhiko Kakehi and Robert Gl{\"u}ck and Yoshihiko Futamura",
year = "2002",
doi = "10.1007/3-540-45607-4_3",
language = "English",
series = "Lecture notes in computer science",
publisher = "Springer Verlag",
pages = "46--56",
editor = "Alberto Pettorossi",
booktitle = "Logic Based Program Synthesis and Transformation",
}
RIS
TY - GEN
T1 - On deforesting parameters of accumulating maps
AU - Kakehi, Kazuhiko
AU - Glück, Robert
AU - Futamura, Yoshihiko
PY - 2002
Y1 - 2002
U2 - 10.1007/3-540-45607-4_3
DO - 10.1007/3-540-45607-4_3
M3 - Article in proceedings
T3 - Lecture notes in computer science
SP - 46
EP - 56
BT - Logic Based Program Synthesis and Transformation
A2 - Pettorossi, Alberto
PB - Springer Verlag
ER -
ID: 177365543