Intet foto af Torben Braüner
  • Universitetsvej 1, 08.2

    DK-4000 Roskilde

    Danmark

19992019
Hvis du har foretaget ændringer i Pure, vil de snart blive vist her.

Publikationer 1999 2019

Filter
Leder
2011

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

Bolander, T. (red.) & Braüner, T. (red.), 2011, I : Electronic Notes in Theoretical Computer Science. 273, s. 1-2

Publikation: Bidrag til tidsskriftLederForskning

2010

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

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

Publikation: Bidrag til tidsskriftLederForskning

2009

Preface

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

Publikation: Bidrag til tidsskriftLederForskning

2007

Proceedings of the International Workshop on Hybrid Logic 2006: Preface

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

Publikation: Bidrag til tidsskriftLederForskning

2006

The Logic of Time and Modality: Preface

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

Publikation: Bidrag til tidsskriftLederForskning