Maximally-polyvariant partial evaluation in polynomial time

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

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 proceedingArticle in proceedingsResearchpeer-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 -

ID: 163911380