書誌情報	ファイル
表紙・目次    (2008-06)   数理解析研究所講究録, 1604
Commutative residuated latticesで特徴づけられる論理について (代数、言語のアルゴリズムと計算理論)   近藤, 通朗 (2008-06)   数理解析研究所講究録, 1604: 1-8
定理証明ツールによる証明可能安全性 (代数、言語のアルゴリズムと計算理論)   田中, 三貴 (2008-06)   数理解析研究所講究録, 1604: 9-18
完全二部グラフを用いたRAID6でのDataとParityの配置 (代数、言語のアルゴリズムと計算理論)   足立, 智子; 杉浦, 智吉 (2008-06)   数理解析研究所講究録, 1604: 19-30
Mechanism of Homomorphic Encryptions (Algorithmic and Computational Theory in Algebra and Languages)   Yamamura, Akihiro (2008-06)   数理解析研究所講究録, 1604: 31-36
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
Bargaining Model on the Plane (Algorithmic and Computational Theory in Algebra and Languages)   Mazalov, Vladimir V.; Tokareva, Julia S. (2008-06)   数理解析研究所講究録, 1604: 42-49
Communication Reaching Consensus through Robust Messages (Algorithmic and Computational Theory in Algebra and Languages)   Matsuhisa, Takashi (2008-06)   数理解析研究所講究録, 1604: 50-56
PL多様体の本間の曲率の意味付け (代数、言語のアルゴリズムと計算理論)   佐藤, 健治 (2008-06)   数理解析研究所講究録, 1604: 57-59
組合せ子の非循環性と非停止性 (代数、言語のアルゴリズムと計算理論)   岩見, 宗弘 (2008-06)   数理解析研究所講究録, 1604: 60-68
Regularity Preservation by String-Rewriting Systems Based on Periods (Algorithmic and Computational Theory in Algebra and Languages)   Leupold, Peter (2008-06)   数理解析研究所講究録, 1604: 69-79
Place Dependency of a Petri Net Generating a Maximal Prefix Code (Algorithmic and Computational Theory in Algebra and Languages)   KUNIMOCHI, Yoshiyuki (2008-06)   数理解析研究所講究録, 1604: 80-89
Weierstrass半群とGoppa符号 (代数、言語のアルゴリズムと計算理論)   本間, 正明 (2008-06)   数理解析研究所講究録, 1604: 90-100
スペクトル分布によるセルラーオートマトンの単射性・全射性の判定 (代数、言語のアルゴリズムと計算理論)   佐藤, 忠一 (2008-06)   数理解析研究所講究録, 1604: 101-103
Local Structures of CA : Equivalence, Isomorphism and Similarity (Algorithmic and Computational Theory in Algebra and Languages)   Nishio, Hidenosuke; Worsh, Thomas (2008-06)   数理解析研究所講究録, 1604: 104-109
合成代数とピタゴラスの定理の拡張 (代数、言語のアルゴリズムと計算理論)   神谷, 徳昭; 森, 和好; 青木, 洋人 (2008-06)   数理解析研究所講究録, 1604: 110-113
Completions of generalized inverse *-semigroups (Algorithmic and Computational Theory in Algebra and Languages)   Ohta, Haruki; Imaoka, Teruo (2008-06)   数理解析研究所講究録, 1604: 114-119
A remark on construction of circular codes (Algorithmic and Computational Theory in Algebra and Languages)   中畑, 登; 國持, 良行; 田中, 源次郎 (2008-06)   数理解析研究所講究録, 1604: 120-124
A note on Schmitt-Vogel lemma (Algorithmic and Computational Theory in Algebra and Languages)   KIMURA, Kyouko; TERAI, Naoki; YOSHIDA, Ken-ichi (2008-06)   数理解析研究所講究録, 1604: 125-130
The dimension of a toric variety obtained from a numerical semigroup (Algorithmic and Computational Theory in Algebra and Languages)   Komeda, Jiryo (2008-06)   数理解析研究所講究録, 1604: 131-141