Rasmus Kræmmer Rendsvig

Rasmus Kræmmer Rendsvig

Assistant professor

  1. 2017
  2. Published

    Turing Completeness of Finite, Epistemic Programs

    Klein, D. & Rendsvig, Rasmus Kræmmer, 21 Jun 2017, In : arXiv.org.

    Research output: Contribution to journalJournal articleResearch

  3. Published

    Convergence, Continuity and Recurrence in Dynamic Epistemic Logic

    Klein, D. & Rendsvig, Rasmus Kræmmer, 2017, Logic, Rationality and Interaction: LORI 2017. Baltag, A., Seligman, J. & Yamada, T. (eds.). Berlin: Springer, p. 108-122 15 p. (Lecture notes in computer science; No. 10455).

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

ID: 128404950