• 22 引用
  • 2 h指数
20082019
Pureに変更を加えた場合、すぐここに表示されます。

研究成果 2008 2019

  • 22 引用
  • 2 h指数
  • 6 Article
  • 1 Conference contribution
フィルター
Conference contribution
2008
6 引用 (Scopus)

Modal fixed-point logic and changing models

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

研究成果: Conference contribution