Originalsprog | Engelsk |
---|---|
Titel | Semantics, Logics and Calculi : Essays Dedicated to Hanne Riis Nielson and Flemming Nielson on the Occasion of Their 60th Birthdays |
Forlag | Springer |
Publikationsdato | 2016 |
Sider | 88-110 |
ISBN (Trykt) | 978-3-319-27809-4 |
ISBN (Elektronisk) | 978-3-319-27810-0 |
DOI | |
Status | Udgivet - 2016 |
Navn | Lecture Notes in Computer Science |
---|---|
Vol/bind | 9560 |
ISSN | 0302-9743 |