No photo of Torben Braüner
  • Universitetsvej 1, 08.2

    DK-4000 Roskilde

    Denmark

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

Research Output 1999 2018

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