コレクションホームページ
1712 代数と言語のアルゴリズムと計算理論
25
1712 代数と言語のアルゴリズムと計算理論
25
(http://hdl.handle.net/2433/170154)
ブラウズ
文献一覧(目次の昇順ソート): 21 - 25 / 25
書誌情報 | ファイル |
---|---|
Modification of Pre-closure Spaces as Closure/Interior Operations on the Lattice of Pre-closure Operators (Algebras, Languages, Algorithms in Algebraic Systems and Computations) Schroeder, Marcin Jan (2010-09) 数理解析研究所講究録, 1712: 148-155 | |
左線形かつ$K$-開発閉包な項書換えシステムの合流性に関する考察 (代数と言語のアルゴリズムと計算理論) 岩見, 宗弘 (2010-09) 数理解析研究所講究録, 1712: 156-161 | |
A Generalization of Automorphism Classification of Cellular Automata : an Extended Abstract (Algebras, Languages, Algorithms in Algebraic Systems and Computations) Nishio, Hidenosuke (2010-09) 数理解析研究所講究録, 1712: 162-169 | |
確率様相論理による秘匿性の証明 (代数と言語のアルゴリズムと計算理論) 竹内, 泉; 真野, 健 (2010-09) 数理解析研究所講究録, 1712: 170-170 | |
マルチ秘密分散法 (代数と言語のアルゴリズムと計算理論) 足立, 智子; 岡崎, 千恵 (2010-09) 数理解析研究所講究録, 1712: 171-180 |
文献一覧(目次の昇順ソート): 21 - 25 / 25