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 Universitet. Roskilde Universitet. Computer Science. Computer Science Research Report, Nr. 124