Hybrid Logic and Its Proof-Theory

Research output: Book/ReportDoctoral thesisResearch

Original languageEnglish
Place of PublicationRoskilde
PublisherRoskilde Universitet
Number of pages318
Publication statusPublished - 2009
SeriesRoskilde Universitet. Computer Science. Computer Science Research Report
Number124
ISSN0109-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
Braüner, Torben. / Hybrid Logic and Its Proof-Theory. Roskilde : Roskilde Universitet, 2009. 318 p. (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.

Research output: Book/ReportDoctoral thesisResearch

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).