• 22 Citations
  • 2 h-Index
20082019
If you made any changes in Pure these will be visible here soon.

Research Output 2008 2019

  • 22 Citations
  • 2 h-Index
  • 6 Article
  • 1 Conference contribution
Filter
Conference contribution
2008
6 Citations (Scopus)

Modal fixed-point logic and changing models

Van Benthem, J. & Ikegami, D., 2008 Aug 27, Pillars of Computer Science - Essays Dedicated to Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday. Avron, A., Dershowitz, N. & Rabinovich, A. (eds.). p. 146-165 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4800 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution