Torben Braüner

ph.d. & dr.scient.

Lektor, Institut for Mennesker og Teknologi
Lektor, Programmering, logik og intelligente systemer

Telefon+45 46 74 38 40
E-mailtorben@ruc.dk
Webstedhttp://www.ruc.dk/~torben

Universitetsvej 1, 08.2
DK-4000 Roskilde
Danmark

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

Publikationer 1999 2019

5 resultater
Udgivelsesår, titel (faldende)

Filter

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 tidsskrift › Leder › Forskning

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 tidsskrift › Leder › Forskning

2009

Preface

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

Publikation: Bidrag til tidsskrift › Leder › Forskning

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 tidsskrift › Leder › Forskning

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 tidsskrift › Leder › Forskning