• 23 引用
  • 2 h指数
20082019

年単位の研究成果

Pureに変更を加えた場合、すぐここに表示されます。

研究成果

  • 23 引用
  • 2 h指数
  • 6 Article
  • 1 Conference contribution
フィルター
Conference contribution
2008

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

6 引用 (Scopus)