| Original language | English |
|---|
| Place of Publication | Roskilde |
|---|---|
| Publisher | Roskilde Universitet |
| Number of pages | 318 |
| Publication status | Published - 2009 |
| Series | Roskilde Universitet. Computer Science. Computer Science Research Report |
|---|---|
| Number | 124 |
| ISSN | 0109-9779 |
Cite this
Braüner, T. (2009). Hybrid Logic and Its Proof-Theory. Roskilde: Roskilde Universitet. Roskilde Universitet. Computer Science. Computer Science Research Report, No. 124
@phdthesis{806e8660413611de932f000ea68e967b,
title = "Hybrid Logic and Its Proof-Theory",
author = "Torben Bra{\"u}ner",
year = "2009",
language = "English",
publisher = "Roskilde Universitet",
}
Braüner, T 2009, Hybrid Logic and Its Proof-Theory. Roskilde Universitet. Computer Science. Computer Science Research Report, no. 124, Roskilde Universitet, Roskilde.
Hybrid Logic and Its Proof-Theory. / Braüner, Torben.
Roskilde : Roskilde Universitet, 2009. 318 p. (Roskilde Universitet. Computer Science. Computer Science Research Report; No. 124).Research output: Book/Report › Doctoral thesis › Research
TY - THES
T1 - Hybrid Logic and Its Proof-Theory
AU - Braüner, Torben
PY - 2009
Y1 - 2009
M3 - Doctoral thesis
BT - Hybrid Logic and Its Proof-Theory
PB - Roskilde Universitet
CY - Roskilde
ER -
Braüner T. Hybrid Logic and Its Proof-Theory. Roskilde: Roskilde Universitet, 2009. 318 p. (Roskilde Universitet. Computer Science. Computer Science Research Report; No. 124).