Hybrid Logic and Its Proof-Theory

Torben Braüner

Publikation: Bog/antologi/afhandling/rapport › Doktordisputats

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

Citer dette