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

Terminating Tableaux for Dynamic Epistemic Logics

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

Publikation: Bidrag til tidsskriftKonferenceartikelForskningpeer review

2009

Terminating tableaux for dynamic epistemic logics

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

Publikation: Bidrag til tidsskriftKonferenceartikelForskningpeer review