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
Antologi
2012

Advances in Modal Logic

Bolander, T. (red.), Braüner, T. (red.), Ghilardi, S. (red.) & Moss, L. (red.), 2012, College Publications. 592 s.

Publikation: Bog/antologi/afhandling/rapportAntologiForskning

2011

Proceedings of the International Workshop on Hybrid Logic and Applications (HyLo 2010)

Bolander, T. (red.) & Braüner, T. (red.), 2011, Elsevier. 68 s. (Electronic Notes in Theoretical Computer Science; Nr. 273).

Publikation: Bog/antologi/afhandling/rapportAntologiForskning

2010

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

Bolander, T. (red.) & Braüner, T. (red.), 2010, Elsevier. 262 s. (Electronic Notes in Theoretical Computer Science; Nr. 262).

Publikation: Bog/antologi/afhandling/rapportAntologiForskning

2009

HYBRID LOGIC: Dedicated to the Memory of Volker Weber

Braüner, T. (red.) & Bolander, T. (red.), 2009, Springer. (Journal of Logic, Language and Information; Nr. 4, Bind 18).

Publikation: Bog/antologi/afhandling/rapportAntologiForskning

Preliminary proceedings of the 6th Workshop on Methods for Modalities (M4M-6)

Braüner, T. (red.) & Bolander, T. (red.), 2009, Roskilde: Roskilde Universitet. 263 s. (Roskilde Universitet. Computer Science. Computer Science Research Report; Nr. 128).

Publikation: Bog/antologi/afhandling/rapportAntologiForskning

2007

Proceedings of the International Workshop on Hybrid Logic (HyLo 2006)

Braüner, T. (red.), Blackburn, P. (red.), Bolander, T. (red.), de Paiva, V. & Villadsen, J. (red.), 2007, Pergamon Press. 148 s. (Electronic Notes in Theoretical Computer Science; Nr. 6, Bind 174).

Publikation: Bog/antologi/afhandling/rapportAntologiForskning

Proceedings of the International Workshop on Hybrid Logic (HyLo 2007)

Braüner, T. (red.), Villadsen, J. (red.) & Bolander, T. (red.), 2007, Dublin: ESSLLI. 95 s.

Publikation: Bog/antologi/afhandling/rapportAntologiForskning

2006

The Logic of Time and Modality

Braüner, T. (red.), Hasle, P. (red.) & Øhrstrøm, P. (red.), 2006, Kluwer Academic Publishers. 192 s. (Synthese; Nr. 3, Bind 150).

Publikation: Bog/antologi/afhandling/rapportAntologiForskning

2003

Revised and expanded edition of Arthur N. Prior: Papers on Time and Tense

Braüner, T. (red.), Hasle, P. (red.), Øhrstrøm, P. (red.) & Copeland, J. (red.), 2003, Oxford University Press. 342 s.

Publikation: Bog/antologi/afhandling/rapportAntologiForskning