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

1268 Algorithms in Algebraic Systems and Computation Theory   23
(http://hdl.handle.net/2433/40842)

ブラウズ
文献一覧(目次の昇順ソート): 21 - 23 / 23
書誌情報ファイル
Model-robustness of equilibrium in game for modal logics (Algorithms in Algebraic Systems and Computation Theory)
  Matsuhisa, Takashi (2002-06)
  数理解析研究所講究録, 1268: 151-154
file type icon
Algorithmic Analysis of LS-systems : Solving the 3-SAT problems in a logarithmic space (Algorithms in Algebraic Systems and Computation Theory)
  Liu, Jian-Qin; Shimohara, Katsunori (2002-06)
  数理解析研究所講究録, 1268: 155-155
file type icon
On the Regularity of the Power Language of a Regular Language : Extended abstract (Algorithms in Algebraic Systems and Computation Theory)
  Horvath, Sandor (2002-06)
  数理解析研究所講究録, 1268: 156-157
file type icon
文献一覧(目次の昇順ソート): 21 - 23 / 23