A very brief introduction to hybrid logic and hybrid-logical proof-theory: Extended abstract of invited talk

Publikation: Bidrag til tidsskriftKonferenceartikelForskningpeer review

OriginalsprogEngelsk
TidsskriftElectronic Proceedings in Theoretical Computer Science
Vol/bind113
Sider (fra-til)3-4
ISSN2075-2180
DOI
StatusUdgivet - 2013

Citer dette