Photo of Torben Braüner

Torben Braüner

ph.d. & dr.scient.

  • Universitetsvej 1, 10.1

    DK-4000 Roskilde

    Denmark

19992020

Research output per year

If you made any changes in Pure these will be visible here soon.

Research Output

Filter
Doctoral thesis
2009

Hybrid Logic and Its Proof-Theory

Braüner, T., 2009, Roskilde: Roskilde Universitet. 318 p. (Roskilde Universitet. Computer Science. Computer Science Research Report; No. 124).

Research output: Book/ReportDoctoral thesisResearch