Reversible representation and manipulation of constructor terms in the heap
Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
Originalsprog | Engelsk |
---|---|
Titel | Reversible Computation. Proceedings |
Redaktører | Gerhard W. Dueck, D. Michael Miller |
Antal sider | 14 |
Forlag | Springer |
Publikationsdato | 2013 |
Sider | 96-109 |
ISBN (Trykt) | 978-3-642-38985-6 |
ISBN (Elektronisk) | 978-3-642-38986-3 |
DOI | |
Status | Udgivet - 2013 |
Begivenhed | 5th International Conference on Reversible Computation - Victoria, Canada Varighed: 4 jul. 2013 → 5 jul. 2013 Konferencens nummer: 5 |
Konference
Konference | 5th International Conference on Reversible Computation |
---|---|
Nummer | 5 |
Land | Canada |
By | Victoria |
Periode | 04/07/2013 → 05/07/2013 |
Navn | Lecture notes in computer science |
---|---|
Vol/bind | 7948 |
ISSN | 0302-9743 |
- Det Natur- og Biovidenskabelige Fakultet
Forskningsområder
ID: 45827890