• 出典: Scopus
  • Pureの文献数とScopusの被引用数に基づいて算出されます
20082022

年別の研究成果

Pureに変更を加えた場合、すぐここに表示されます。
フィルター
Conference contribution

検索結果

  • 2021

    On Supercompactness of ω1

    Ikegami, D. & Trang, N., 2021, Advances in Mathematical Logic - Dedicated to the Memory of Professor Gaisi Takeuti, SAML 2018, Selected, Revised Contributions. Arai, T., Kikuchi, M., Kuroda, S., Okada, M. & Yorioka, T. (eds.). Springer, p. 27-45 19 p. (Springer Proceedings in Mathematics and Statistics; vol. 369).

    研究成果: 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. (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).

    研究成果: Conference contribution

    7 被引用数 (Scopus)