コレクションホームページ
1268 Algorithms in Algebraic Systems and Computation Theory
23
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 | |
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 | |
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 |
文献一覧(目次の昇順ソート): 21 - 23 / 23