Standard
Relating accumulative and non-accumulative functional programs. / Kühnemann, Armin; Glück, Robert; Kakehi, Kazuhiko.
Rewriting Techniques and Applications. Proceedings. Springer Verlag, 2001. p. 154-168 (Lecture notes in computer science, Vol. 2051).
Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Harvard
Kühnemann, A
, Glück, R & Kakehi, K 2001,
Relating accumulative and non-accumulative functional programs. in
Rewriting Techniques and Applications. Proceedings. Springer Verlag, Lecture notes in computer science, vol. 2051, pp. 154-168.
https://doi.org/10.1007/3-540-45127-7_13
APA
Kühnemann, A.
, Glück, R., & Kakehi, K. (2001).
Relating accumulative and non-accumulative functional programs. In
Rewriting Techniques and Applications. Proceedings (pp. 154-168). Springer Verlag. Lecture notes in computer science Vol. 2051
https://doi.org/10.1007/3-540-45127-7_13
Vancouver
Kühnemann A
, Glück R, Kakehi K.
Relating accumulative and non-accumulative functional programs. In Rewriting Techniques and Applications. Proceedings. Springer Verlag. 2001. p. 154-168. (Lecture notes in computer science, Vol. 2051).
https://doi.org/10.1007/3-540-45127-7_13
Author
Kühnemann, Armin ; Glück, Robert ; Kakehi, Kazuhiko. / Relating accumulative and non-accumulative functional programs. Rewriting Techniques and Applications. Proceedings. Springer Verlag, 2001. pp. 154-168 (Lecture notes in computer science, Vol. 2051).
Bibtex
@inproceedings{7c552f90b8c111debc73000ea68e967b,
title = "Relating accumulative and non-accumulative functional programs",
author = "Armin K{\"u}hnemann and Robert Gl{\"u}ck and Kazuhiko Kakehi",
note = "V{\ae}rtspublikationsredakt{\o}rer: Aart Middeldorp Serie: Lecture Notes in Computer Science, Springer-Verlag, 2051 Sider: 154-168",
year = "2001",
doi = "10.1007/3-540-45127-7_13",
language = "English",
series = "Lecture notes in computer science",
publisher = "Springer Verlag",
pages = "154--168",
booktitle = "Rewriting Techniques and Applications. Proceedings",
}
RIS
TY - GEN
T1 - Relating accumulative and non-accumulative functional programs
AU - Kühnemann, Armin
AU - Glück, Robert
AU - Kakehi, Kazuhiko
N1 - Værtspublikationsredaktører: Aart Middeldorp
Serie: Lecture Notes in Computer Science, Springer-Verlag, 2051
Sider: 154-168
PY - 2001
Y1 - 2001
U2 - 10.1007/3-540-45127-7_13
DO - 10.1007/3-540-45127-7_13
M3 - Article in proceedings
T3 - Lecture notes in computer science
SP - 154
EP - 168
BT - Rewriting Techniques and Applications. Proceedings
PB - Springer Verlag
ER -