Intet foto af Torben Braüner

Torben Braüner

ph.d. & dr.scient.

  • Universitetsvej 1, 10.1

    DK-4000 Roskilde

    Danmark

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

Publikationer 1999 2020

Filter
Konferenceabstrakt i proceedings
2001

Natural deduction for hybrid logic (extended abstract)

Braüner, T., 2001, Workshop Proceedings of Methods for Modalities 2. Areces, C. & Rijke, M. D. (red.). University of Amsterdam

Publikation: Bidrag til bog/antologi/rapportKonferenceabstrakt i proceedingsForskning