Standard
Maximally-polyvariant partial evaluation in polynomial time. / Glück, Robert.
Perspectives of System Informatics: 10th International Andrei Ershov Informatics Conference, PSI 2015, in Memory of Helmut Veith, Kazan and Innopolis, Russia, August 24-27, 2015, Revised Selected Papers. ed. / Manuel Mazzara; Andrei Voronkov. Springer, 2016. p. 130-148 (Lecture notes in computer science, Vol. 9609).
Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Harvard
Glück, R 2016,
Maximally-polyvariant partial evaluation in polynomial time. in M Mazzara & A Voronkov (eds),
Perspectives of System Informatics: 10th International Andrei Ershov Informatics Conference, PSI 2015, in Memory of Helmut Veith, Kazan and Innopolis, Russia, August 24-27, 2015, Revised Selected Papers. Springer, Lecture notes in computer science, vol. 9609, pp. 130-148, 10th International Andrei Ershov Informatics Conference on Perspectives of System Informatics, Kazan & Innopolis, Russian Federation,
24/08/2015.
https://doi.org/10.1007/978-3-319-41579-6_11
APA
Glück, R. (2016).
Maximally-polyvariant partial evaluation in polynomial time. In M. Mazzara, & A. Voronkov (Eds.),
Perspectives of System Informatics: 10th International Andrei Ershov Informatics Conference, PSI 2015, in Memory of Helmut Veith, Kazan and Innopolis, Russia, August 24-27, 2015, Revised Selected Papers (pp. 130-148). Springer. Lecture notes in computer science Vol. 9609
https://doi.org/10.1007/978-3-319-41579-6_11
Vancouver
Glück R.
Maximally-polyvariant partial evaluation in polynomial time. In Mazzara M, Voronkov A, editors, Perspectives of System Informatics: 10th International Andrei Ershov Informatics Conference, PSI 2015, in Memory of Helmut Veith, Kazan and Innopolis, Russia, August 24-27, 2015, Revised Selected Papers. Springer. 2016. p. 130-148. (Lecture notes in computer science, Vol. 9609).
https://doi.org/10.1007/978-3-319-41579-6_11
Author
Glück, Robert. / Maximally-polyvariant partial evaluation in polynomial time. Perspectives of System Informatics: 10th International Andrei Ershov Informatics Conference, PSI 2015, in Memory of Helmut Veith, Kazan and Innopolis, Russia, August 24-27, 2015, Revised Selected Papers. editor / Manuel Mazzara ; Andrei Voronkov. Springer, 2016. pp. 130-148 (Lecture notes in computer science, Vol. 9609).
Bibtex
@inproceedings{9a47e51b1a6a4ab6a1e8efeea186b9cf,
title = "Maximally-polyvariant partial evaluation in polynomial time",
author = "Robert Gl{\"u}ck",
year = "2016",
doi = "10.1007/978-3-319-41579-6_11",
language = "English",
isbn = "978-3-319-41578-9",
series = "Lecture notes in computer science",
publisher = "Springer",
pages = "130--148",
editor = "Manuel Mazzara and Andrei Voronkov",
booktitle = "Perspectives of System Informatics",
address = "Switzerland",
note = "10th International Andrei Ershov Informatics Conference on Perspectives of System Informatics, PSI 2015 ; Conference date: 24-08-2015 Through 27-08-2015",
}
RIS
TY - GEN
T1 - Maximally-polyvariant partial evaluation in polynomial time
AU - Glück, Robert
N1 - Conference code: 10
PY - 2016
Y1 - 2016
U2 - 10.1007/978-3-319-41579-6_11
DO - 10.1007/978-3-319-41579-6_11
M3 - Article in proceedings
SN - 978-3-319-41578-9
T3 - Lecture notes in computer science
SP - 130
EP - 148
BT - Perspectives of System Informatics
A2 - Mazzara, Manuel
A2 - Voronkov, Andrei
PB - Springer
T2 - 10th International Andrei Ershov Informatics Conference on Perspectives of System Informatics
Y2 - 24 August 2015 through 27 August 2015
ER -