Jens Ulrik Hansen

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

Filter

2010

Terminating Tableaux for Dynamic Epistemic Logics
Hansen, J. U., 2010, I: Electronical Notes in Theoretical Computer Science. 262, s. 141-156 16 s.
Publikation: Bidrag til tidsskrift › Konferenceartikel › Forskning › peer 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 tidsskrift › Konferenceartikel › Forskning › peer review

Publikation