Kyoto University Research Information Repository: 検索

検索

検索結果表示: 1-10 / 16.

検索結果:

書誌情報	ファイル
A Study on Substructural Logics with Restricted Exchange Rules, (2) Kashima, Ryo; Kamide, Norihiro (1997-12) 数理解析研究所講究録, 1021: 187-205
Decision Making in Partially Interactive Games I : Game Theoretic Developments Kaneko, Mamoru (1997-12) 数理解析研究所講究録, 1021: 163-177
Interpolation Theorem for $\mathit{L}_{DBCC}$ and $\mathit{L}_{DBCK}$ Surarso, Bayu (1997-12) 数理解析研究所講究録, 1021: 178-186
Strong Normalization of Pure $\mathit{GL}_w$-$\lambda\mu$-Terms Fujita, Ken-etsu (1997-12) 数理解析研究所講究録, 1021: 1-13
Classical Brouwer-Heyting-Kolmogorov interpretation Sato, Masahiko (1997-12) 数理解析研究所講究録, 1021: 28-47
Semigroup semantics for orthomodular logic Miyazaki, Yutaka (1997-12) 数理解析研究所講究録, 1021: 14-27
表紙・目次 (1997-12) 数理解析研究所講究録, 1021
Computational Playability of Backward Induction Solutions TASHIRO, Hidetoshi (1997-12) 数理解析研究所講究録, 1021: 112-118
Crispness and Representation Theorem in Dedekind Categories KAWAHARA, Yasuo; FURUSAWA, Hitoshi (1997-12) 数理解析研究所講究録, 1021: 63-69
Arithmetization of another formulation of a subsystem of Kaneko-Nagashima's GL NAGASHIMA, Takashi (1997-12) 数理解析研究所講究録, 1021: 156-162