On deforesting parameters of accumulating maps

Kazuhiko Kakehi; Robert Glück; Yoshihiko Futamura

doi:10.1007/3-540-45607-4_3

On deforesting parameters of accumulating maps

Kazuhiko Kakehi, Robert Glück, Yoshihiko Futamura

Datalogisk Institut

8 Citationer (Scopus)

Originalsprog	Engelsk
Titel	Logic Based Program Synthesis and Transformation
Redaktører	Alberto Pettorossi
Forlag	Springer Verlag
Publikationsdato	2002
Sider	46-56
DOI	https://doi.org/10.1007/3-540-45607-4_3
Status	Udgivet - 2002

Navn	Lecture notes in computer science
Vol/bind	2372
ISSN	0302-9743

Adgang til dokumentet

10.1007/3-540-45607-4_3

Citationsformater

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 › peer review

@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",

}

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 -