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

@inproceedings{29d132e9774a4eb185135f170fe2adfa,
title = "A very brief introduction to hybrid logic and hybrid-logical proof-theory: Extended abstract of invited talk",
author = "Torben Bra{\"u}ner",
year = "2013",
doi = "10.4204/EPTCS.113",
language = "English",
volume = "113",
pages = "3--4",
journal = "Electronic Proceedings in Theoretical Computer Science",
issn = "2075-2180",
publisher = "Open Publishing Association",

}

TY - GEN

T1 - A very brief introduction to hybrid logic and hybrid-logical proof-theory

T2 - Extended abstract of invited talk

AU - Braüner, Torben

PY - 2013

Y1 - 2013

U2 - 10.4204/EPTCS.113

DO - 10.4204/EPTCS.113

M3 - Conference article

VL - 113

SP - 3

EP - 4

JO - Electronic Proceedings in Theoretical Computer Science

JF - Electronic Proceedings in Theoretical Computer Science

SN - 2075-2180

ER -