Hybrid Logic and Its Proof-Theory

Publikation: Bog/antologi/afhandling/rapportDoktordisputatsForskning

OriginalsprogEngelsk
Udgivelses stedRoskilde
ForlagRoskilde Universitet
Antal sider318
StatusUdgivet - 2009
NavnRoskilde Universitet. Computer Science. Computer Science Research Report
Nummer124
ISSN0109-9779

Citer dette

Braüner, T. (2009). Hybrid Logic and Its Proof-Theory. Roskilde: Roskilde Universitet. Roskilde Universitet. Computer Science. Computer Science Research Report, Nr. 124
Braüner, Torben. / Hybrid Logic and Its Proof-Theory. Roskilde : Roskilde Universitet, 2009. 318 s. (Roskilde Universitet. Computer Science. Computer Science Research Report; Nr. 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, nr. 124, Roskilde Universitet, Roskilde.

Hybrid Logic and Its Proof-Theory. / Braüner, Torben.

Roskilde : Roskilde Universitet, 2009. 318 s. (Roskilde Universitet. Computer Science. Computer Science Research Report; Nr. 124).

Publikation: Bog/antologi/afhandling/rapportDoktordisputatsForskning

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 s. (Roskilde Universitet. Computer Science. Computer Science Research Report; Nr. 124).