Loop quasi-invariant chunk motion by peeling with statement composition
Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
Dokumenter
- Moyen_2017_Loop_quasi-invariant
Forlagets udgivne version, 225 KB, PDF-dokument
Originalsprog | Engelsk |
---|---|
Titel | Proceedings 8th Workshop on Developments in Implicit Computational Complexity and 5th Workshop on Foundational and Practical Aspects of Resource Analysis |
Redaktører | Guillaume Bonfante, Georg Moser |
Antal sider | 13 |
Forlag | Open Publishing Association |
Publikationsdato | 2017 |
Sider | 47-59 |
DOI | |
Status | Udgivet - 2017 |
Begivenhed | 8th Workshop on Developments in Implicit Computational Complexity and 5th Workshop on Foundational and Practical Aspects of Resource Analysis - Uppsala, Sverige Varighed: 22 apr. 2017 → 23 apr. 2017 |
Workshop
Workshop | 8th Workshop on Developments in Implicit Computational Complexity and 5th Workshop on Foundational and Practical Aspects of Resource Analysis |
---|---|
Land | Sverige |
By | Uppsala |
Periode | 22/04/2017 → 23/04/2017 |
Navn | Electronic Proceedings in Theoretical Computer Science |
---|---|
Vol/bind | 248 |
ISSN | 2075-2180 |
Antal downloads er baseret på statistik fra Google Scholar og www.ku.dk
Ingen data tilgængelig
ID: 178883917