Publikationer 1995 2019

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