Maximally-polyvariant partial evaluation in polynomial time
Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
Originalsprog | Engelsk |
---|---|
Titel | 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 |
Redaktører | Manuel Mazzara, Andrei Voronkov |
Antal sider | 19 |
Forlag | Springer |
Publikationsdato | 2016 |
Sider | 130-148 |
ISBN (Trykt) | 978-3-319-41578-9 |
ISBN (Elektronisk) | 978-3-319-41579-6 |
DOI | |
Status | Udgivet - 2016 |
Begivenhed | 10th International Andrei Ershov Informatics Conference on Perspectives of System Informatics - Kazan & Innopolis, Rusland Varighed: 24 aug. 2015 → 27 aug. 2015 Konferencens nummer: 10 |
Konference
Konference | 10th International Andrei Ershov Informatics Conference on Perspectives of System Informatics |
---|---|
Nummer | 10 |
Land | Rusland |
By | Kazan & Innopolis |
Periode | 24/08/2015 → 27/08/2015 |
Navn | Lecture notes in computer science |
---|---|
Vol/bind | 9609 |
ISSN | 0302-9743 |
ID: 163911380