Kyoto University Research Information Repository: 検索

DSpace

Kyoto University

検索

検索結果表示: 1-10 / 23.

前
1
2
3
次

検索結果:

書誌情報	ファイル
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 Computable Tree Functions (Algorithms in Algebraic Systems and Computation Theory) Kimoto, Masahiro; Takahashi, Masako (2002-06) 数理解析研究所講究録, 1268: 138-150
Model-robustness of equilibrium in game for modal logics (Algorithms in Algebraic Systems and Computation Theory) Matsuhisa, Takashi (2002-06) 数理解析研究所講究録, 1268: 151-154
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
Godel's incompleteness theorem and forcing (Algorithms in Algebraic Systems and Computation Theory) Kawano, Yasuhito (2002-06) 数理解析研究所講究録, 1268: 126-137
The word problem for the braid inverse monoid (Algorithms in Algebraic Systems and Computation Theory) Inata, Isamu; Kataumi, Naoki; Tobita, Takatoshi (2002-06) 数理解析研究所講究録, 1268: 105-109
On the structure of weak interlaced bilattice $\mathcal{K}(\rm{L})$ (Algorithms in Algebraic Systems and Computation Theory) Kondo, Michiro (2002-06) 数理解析研究所講究録, 1268: 110-117
$\gamma$-Calculus with Lazy Lists : Extended abstract (Algorithms in Algebraic Systems and Computation Theory) Fujita, Ken-etsu (2002-06) 数理解析研究所講究録, 1268: 118-125
On the Unit Group of a Semigroup Ring (Algorithms in Algebraic Systems and Computation Theory) Matsuda, Ryuki (2002-06) 数理解析研究所講究録, 1268: 97-104
Graph Rewriting in Topology IV : Rewriting Based on Algebraic Operators (Algorithms in Algebraic Systems and Computation Theory) Liu, Jian-Qin; Shimohara, Katsunori (2002-06) 数理解析研究所講究録, 1268: 64-72