| Originalsprog | Engelsk |
|---|---|
| Tidsskrift | Electronic Proceedings in Theoretical Computer Science |
| Vol/bind | 113 |
| Sider (fra-til) | 3-4 |
| ISSN | 2075-2180 |
| DOI | |
| Status | Udgivet - 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",
}
A very brief introduction to hybrid logic and hybrid-logical proof-theory : Extended abstract of invited talk. / Braüner, Torben.
I: Electronic Proceedings in Theoretical Computer Science, Bind 113, 2013, s. 3-4.Publikation: Bidrag til tidsskrift › Konferenceartikel › Forskning › peer review
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 -