Photo of Jens Ulrik Hansen
  • Universitetsvej 1

    DK-4000 Roskilde

    Denmark

20072018
If you made any changes in Pure these will be visible here soon.

Research Output 2007 2018

Filter
Paper
2007

A Tableau system for a first-order hybrid logic

Hansen, J. U., 2007. 9 p.

Research output: Contribution to conferencePaperResearchpeer-review