Originalsprog | Dansk |
---|---|
Kvalifikation | Ph.d. |
Vejleder(e) |
|
Udgiver | |
ISBN'er, trykt | 978-87-7949236-3 |
Status | Udgivet - 2011 |
Implementing Substructural Logical Frameworks
Anders Schack-Nielsen
Publikation: Afhandlinger › Ph.d.-afhandling
Anders Schack-Nielsen
Publikation: Afhandlinger › Ph.d.-afhandling
Originalsprog | Dansk |
---|---|
Kvalifikation | Ph.d. |
Vejleder(e) |
|
Udgiver | |
ISBN'er, trykt | 978-87-7949236-3 |
Status | Udgivet - 2011 |