VIAF

Virtual International Authority File

Search

Braüner, Torben National Library of the Netherlands-test DBC (Danish Bibliographic Center) Library of Congress/NACO German National Library

Bräuner, Torben, 1962-.... NUKAT Center of Warsaw University Library Sudoc [ABES], France ISNI-test

VIAF ID: 173710392 (Personal)

Permalink: http://viaf.org/viaf/173710392

ISNI-test: 0000  0001  2373  0741 

Open Section Close Section Preferred Forms

 

 

 

 

Open Section Close Section 4xx's: Alternate Name Forms (3)

Open Section Close Section Selected Titles

  1. Hybrid logic and its proof-theory, c2011: ‎(9) National Library of the Netherlands-test NUKAT Center of Warsaw University Library DBC (Danish Bibliographic Center) Sudoc [ABES], France Library of Congress/NACO
  2. Towards constructive hybrid logic ‎(1) DBC (Danish Bibliographic Center)
  3. 6th workshop on Methods for Modalities (M4M-6) ‎(1) DBC (Danish Bibliographic Center)

Open Section Close Section Selected Co-authors

Open Section Close Section Countries of Publication (3)

Open Section Close Section Publication Statistics

Open Section Close Section Selected Publishers (2)

Open Section Close Section About

Open Section Close Section History of VIAF ID:173710392 (9)