| Originalsprog | Engelsk |
|---|
| Forlag | IT-Universitetet i København |
|---|---|
| ISBN (Trykt) | 978-87-7949-176-2 |
| Status | Udgivet - 2008 |
Advances in Reasoning Principles for Contextual Equivalence and Termination
Nina Bohr
Publikation: Bog / Antologi / Rapport / Ph.D.-afhandling › Ph.d.-afhandling