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