Billede af Jens Ulrik Hansen
  • Universitetsvej 1, 10.2

    DK-4000 Roskilde

    Danmark

20072021

Research output per year

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

Publikation

Filter
Paper
2007

A Tableau system for a first-order hybrid logic

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

Publikation: KonferencebidragPaperForskningpeer review