Kyoto University Research Information Repository: 検索

DSpace

Kyoto University

検索

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

前
1
2
3
次

検索結果:

書誌情報	ファイル
群環に関するFormanekの方法の拡張 (代数と言語のアルゴリズムと計算理論) 西中, 恒和 (2011-10) 数理解析研究所講究録, 1769: 49-59
Classification of residuated lattices by filters (Algebras, Languages, Algorithms and Computations) KONDO, Michiro (2011-10) 数理解析研究所講究録, 1769: 33-38
On the depth of edge rings (Algebras, Languages, Algorithms and Computations) Hibi, Takayuki; Higashitani, Akihiro; Kimura, Kyouko; O'Keefe, Augustine B. (2011-10) 数理解析研究所講究録, 1769: 83-89
An automated reasoning system based on isabelle/HOL (Algebras, Languages, Algorithms and Computations) Kobayashi, Hidetsune; Ono, Yoko (2011-10) 数理解析研究所講究録, 1769: 75-82
Time Complexity of Square Pattern Generation on Two Dimensional Cellular Automata (Algebras, Languages, Algorithms and Computations) Watanabe, Satoru; Okawa, Satoshi (2011-10) 数理解析研究所講究録, 1769: 90-100
環の零因子や単元に関連したグラフの彩色数 (代数と言語のアルゴリズムと計算理論) 金光, 三男 (2011-10) 数理解析研究所講究録, 1769: 70-74
Numerical semigroups of double covering type and Hurwitz's problem (Algebras, Languages, Algorithms and Computations) Komeda, Jiryo (2011-10) 数理解析研究所講究録, 1769: 60-65
On Galois extensions of rings with an inner automorphism group (Algebras, Languages, Algorithms and Computations) 池畑, 秀一 (2011-10) 数理解析研究所講究録, 1769: 66-69
A short history of repetition-free words (Algebras, Languages, Algorithms and Computations) KOBAYASHI, YUJI (2011-10) 数理解析研究所講究録, 1769: 101-110
Equational theories and the behavior of finite automata (Algebras, Languages, Algorithms and Computations) Esik, Zoltan (2011-10) 数理解析研究所講究録, 1769: 122-123