Research Output 1999 2018

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