Foto af Jens Ulrik Hansen
  • Universitetsvej 1, 10.2

    DK-4000 Roskilde

    Danmark

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

Publikationer 2007 2018

Filter
Paper

A Tableau system for a first-order hybrid logic

Hansen, J. U., 2007. 9 s.

Publikation: KonferencebidragPaperForskningpeer review