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
Editorial
2011

Proceedings of the International Workshop on Hybrid Logic and Applications 2010: Preface

Bolander, T. (ed.) & Braüner, T. (ed.) 2011 In : Electronic Notes in Theoretical Computer Science. 273, p. 1-2

Research output: Contribution to journalEditorialResearch

2010

Proceedings of the 6th Workshop on Methods for Modalities (M4M-6 2009)

Bolander, T. & Braüner, T. 2010 In : Electronical Notes in Theoretical Computer Science. 262, p. 1-2

Research output: Contribution to journalEditorialResearch

2009

Preface

Braüner, T. & Bolander, T. 2009 In : Journal of Logic, Language and Information. 18, 4, p. 435-436

Research output: Contribution to journalEditorialResearch

2007

Proceedings of the International Workshop on Hybrid Logic 2006: Preface

Braüner, T., Blackburn, P., Bolander, T., de Paiva, V. & Villadsen, J. 2007 In : Electronical Notes in Theoretical Computer Science. 174, 6, p. 1-2 2 p.

Research output: Contribution to journalEditorialResearch

2006

The Logic of Time and Modality: Preface

Braüner, T., Hasle, P. & Øhrstrøm, P. 2006 In : Synthese. 150, 3, p. 327-328 2 p.

Research output: Contribution to journalEditorialResearch