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
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