Photo of Jens Ulrik Hansen
  • Universitetsvej 1, 10.2

    DK-4000 Roskilde

    Denmark

20072021

Research output per year

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

Research Output

Filter
Conference article
2010

Terminating Tableaux for Dynamic Epistemic Logics

Hansen, J. U., 2010, In : Electronical Notes in Theoretical Computer Science. p. 141-156 16 p.

Research output: Contribution to journalConference articleResearchpeer-review

2009

Terminating tableaux for dynamic epistemic logics

Hansen, J. U., 2009, In : Roskilde Universitetscenter. Datalogisk Afdeling. Datalogiske Skrifter. 128, p. 88-102 15 p.

Research output: Contribution to journalConference articleResearchpeer-review