Originalsprog | Engelsk |
---|---|
Tidsskrift | Electronic Proceedings in Theoretical Computer Science |
Vol/bind | 113 |
Sider (fra-til) | 3-4 |
ISSN | 2075-2180 |
DOI | |
Status | Udgivet - 2013 |
A very brief introduction to hybrid logic and hybrid-logical proof-theory: Extended abstract of invited talk
Publikation: Bidrag til tidsskrift › Konferenceartikel › Forskning › peer review