Kyoto University Research Information Repository: 検索

DSpace

Kyoto University

検索

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

前
1
2
3
次

検索結果:

書誌情報	ファイル
Mechanism of Homomorphic Encryptions (Algorithmic and Computational Theory in Algebra and Languages) Yamamura, Akihiro (2008-06) 数理解析研究所講究録, 1604: 31-36
完全二部グラフを用いたRAID6でのDataとParityの配置 (代数、言語のアルゴリズムと計算理論) 足立, 智子; 杉浦, 智吉 (2008-06) 数理解析研究所講究録, 1604: 19-30
Commutative residuated latticesで特徴づけられる論理について (代数、言語のアルゴリズムと計算理論) 近藤, 通朗 (2008-06) 数理解析研究所講究録, 1604: 1-8
定理証明ツールによる証明可能安全性 (代数、言語のアルゴリズムと計算理論) 田中, 三貴 (2008-06) 数理解析研究所講究録, 1604: 9-18
表紙・目次 (2008-06) 数理解析研究所講究録, 1604
Communication Reaching Consensus through Robust Messages (Algorithmic and Computational Theory in Algebra and Languages) Matsuhisa, Takashi (2008-06) 数理解析研究所講究録, 1604: 50-56
A remark on construction of circular codes (Algorithmic and Computational Theory in Algebra and Languages) 中畑, 登; 國持, 良行; 田中, 源次郎 (2008-06) 数理解析研究所講究録, 1604: 120-124
*Completions of generalized inverse -semigroups (Algorithmic and Computational Theory in Algebra and Languages)** Ohta, Haruki; Imaoka, Teruo (2008-06) 数理解析研究所講究録, 1604: 114-119
Bargaining Model on the Plane (Algorithmic and Computational Theory in Algebra and Languages) Mazalov, Vladimir V.; Tokareva, Julia S. (2008-06) 数理解析研究所講究録, 1604: 42-49
d-primitive words and D(1)-concatenated words (Algorithmic and Computational Theory in Algebra and Languages) KATAOKA, Itaru; MORIYA, Tetsuo (2008-06) 数理解析研究所講究録, 1604: 37-41