On deforesting parameters of accumulating maps
Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
Standard
On deforesting parameters of accumulating maps. / Kakehi, Kazuhiko; Glück, Robert; Futamura, Yoshihiko.
Logic Based Program Synthesis and Transformation. red. / Alberto Pettorossi. Springer Verlag, 2002. s. 46-56 (Lecture notes in computer science, Bind 2372).Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
Harvard
Kakehi, K, Glück, R & Futamura, Y 2002, On deforesting parameters of accumulating maps. i A Pettorossi (red.), Logic Based Program Synthesis and Transformation. Springer Verlag, Lecture notes in computer science, bind 2372, s. 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. I A. Pettorossi (red.), Logic Based Program Synthesis and Transformation (s. 46-56). Springer Verlag. Lecture notes in computer science Bind 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. I Pettorossi A, red., Logic Based Program Synthesis and Transformation. Springer Verlag. 2002. s. 46-56. (Lecture notes in computer science, Bind 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