Foto af Jens Ulrik Hansen
  • Universitetsvej 1

    DK-4000 Roskilde

    Danmark

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

Publikationer 2007 2018

Filter
Paper
2007

A Tableau system for a first-order hybrid logic

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

Publikation: KonferencebidragPaperForskningpeer review