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
Report
2003

Towards constructive hybrid logic

Braüner, T. & de Paiva, V., 2003, Roskilde: Roskilde Universitet. 26 p. (Datalogiske Skrifter; No. 97).

Research output: Book/ReportReportResearch