コレクションホームページ

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
file type icon
左線形かつ$K$-開発閉包な項書換えシステムの合流性に関する考察 (代数と言語のアルゴリズムと計算理論)
  岩見, 宗弘 (2010-09)
  数理解析研究所講究録, 1712: 156-161
file type icon
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
file type icon
確率様相論理による秘匿性の証明 (代数と言語のアルゴリズムと計算理論)
  竹内, 泉; 真野, 健 (2010-09)
  数理解析研究所講究録, 1712: 170-170
file type icon
マルチ秘密分散法 (代数と言語のアルゴリズムと計算理論)
  足立, 智子; 岡崎, 千恵 (2010-09)
  数理解析研究所講究録, 1712: 171-180
file type icon
文献一覧(目次の昇順ソート): 21 - 25 / 25