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
Conference abstract in proceedings
2001

Natural deduction for hybrid logic (extended abstract)

Braüner, T. 2001 Workshop Proceedings of Methods for Modalities 2. Areces, C. & Rijke, M. D. (eds.). University of Amsterdam

Research output: Chapter in Book/Report/Conference proceedingConference abstract in proceedingsResearch