Fundamental Computing

Research output

Research output per year 1976 2008 2009 2016 2021 2022 2023 2024 2025

• 148 Article
• 95 Conference contribution
• 20 Chapter
• 11 Book
• 18 More
  • 7 Thesis fully internal (DIV)
  • 5 Preprint
  • 2 Editorial
  • 1 Foreword/postscript
  • 1 Poster
  • 1 Meeting Abstract
  • 1 Book/Film/Article review

Research output per year

Research output per year

Search results

• 2003

  A Description Language for Dynamic Epistemic Actions, Proceedings of the 2002 annual conference of the Australasian Association of Logic (AAL 2002)

  Kooi, B., van Ditmarsch, H. & van der Hoek, W., 2003, In: The Bulletin of Symbolic Logic. 9, 2, p. 260-261 2 p.

  Research output: Contribution to journal › Meeting Abstract › Academic

  Open Access

  File
  92 Downloads (Pure)