Standard
Controlling conjunctive partial deduction. / Glück, Robert; Jørgensen, Jesper; Martens, Bern; Sørensen, Morten Heine.
Programming Languages: Implementations, Logics and Programs. ed. / Herbert Kuchen; S. Doaitse Swierstra. Springer Verlag, 1996. p. 152-166 (Lecture notes in computer science, Vol. 1140).
Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Harvard
Glück, R, Jørgensen, J, Martens, B & Sørensen, MH 1996,
Controlling conjunctive partial deduction. in H Kuchen & SD Swierstra (eds),
Programming Languages: Implementations, Logics and Programs. Springer Verlag, Lecture notes in computer science, vol. 1140, pp. 152-166.
https://doi.org/10.1007/3-540-61756-6_83
APA
Glück, R., Jørgensen, J., Martens, B., & Sørensen, M. H. (1996).
Controlling conjunctive partial deduction. In H. Kuchen, & S. D. Swierstra (Eds.),
Programming Languages: Implementations, Logics and Programs (pp. 152-166). Springer Verlag. Lecture notes in computer science Vol. 1140
https://doi.org/10.1007/3-540-61756-6_83
Vancouver
Glück R, Jørgensen J, Martens B, Sørensen MH.
Controlling conjunctive partial deduction. In Kuchen H, Swierstra SD, editors, Programming Languages: Implementations, Logics and Programs. Springer Verlag. 1996. p. 152-166. (Lecture notes in computer science, Vol. 1140).
https://doi.org/10.1007/3-540-61756-6_83
Author
Glück, Robert ; Jørgensen, Jesper ; Martens, Bern ; Sørensen, Morten Heine. / Controlling conjunctive partial deduction. Programming Languages: Implementations, Logics and Programs. editor / Herbert Kuchen ; S. Doaitse Swierstra. Springer Verlag, 1996. pp. 152-166 (Lecture notes in computer science, Vol. 1140).
Bibtex
@inproceedings{7e6d9858bbd24f28a9dcb34caa8eac21,
title = "Controlling conjunctive partial deduction",
author = "Robert Gl{\"u}ck and Jesper J{\o}rgensen and Bern Martens and S{\o}rensen, {Morten Heine}",
year = "1996",
doi = "10.1007/3-540-61756-6_83",
language = "English",
series = "Lecture notes in computer science",
publisher = "Springer Verlag",
pages = "152--166",
editor = "Herbert Kuchen and Swierstra, {S. Doaitse}",
booktitle = "Programming Languages: Implementations, Logics and Programs",
}
RIS
TY - GEN
T1 - Controlling conjunctive partial deduction
AU - Glück, Robert
AU - Jørgensen, Jesper
AU - Martens, Bern
AU - Sørensen, Morten Heine
PY - 1996
Y1 - 1996
U2 - 10.1007/3-540-61756-6_83
DO - 10.1007/3-540-61756-6_83
M3 - Article in proceedings
T3 - Lecture notes in computer science
SP - 152
EP - 166
BT - Programming Languages: Implementations, Logics and Programs
A2 - Kuchen, Herbert
A2 - Swierstra, S. Doaitse
PB - Springer Verlag
ER -