Braüner, Torben
Bräuner, Torben, 1962-....
VIAF ID: 173710392 ( Personal )
Permalink: http://viaf.org/viaf/173710392
Preferred Forms
- 100 1 _ ‡a Braüner, Torben
-
-
-
-
-
-
-
- 100 1 _ ‡a Braüner, Torben ‡d 1962-
- 100 1 _ ‡a Bräuner, Torben, ‡d 1962-....
4xx's: Alternate Name Forms (3)
Works
Title | Sources |
---|---|
6th workshop on Methods for Modalities (M4M-6) | |
Advances in modal logic. [9ème conférence, Copenhague, 22-25 août 2012] | |
Hybrid logic and its proof-theory | |
Introduction to linear logic | |
The logic of time and modality | |
Papers on time and tense | |
Towards constructive hybrid logic | |
Udviser sociale chatbots empati? | |
A ¤general adequacy result for a linear functional language |