1. Kyoto University Research Information Repository

検索


適用済条件:
検索をやり直す
検索条件の追加:

検索条件を追加することで検索結果を絞り込むことができます。

 | 
検索結果表示: 1-10 / 24.
検索結果:
書誌情報ファイル
Kinase Computing : Concepts, Methods and Features (Algebraic Systems, Formal Languages and Conventional and Unconventional Computation Theory)
  Liu, Jian-Qin; Shimohara, Katsunori (2004-04)
  数理解析研究所講究録, 1366: 141-152
file type icon 
Reconstruction of Gaifman's characterization of Mahlo cardinals (Algebraic Systems, Formal Languages and Conventional and Unconventional Computation Theory)
  Takaki, Osamu (2004-04)
  数理解析研究所講究録, 1366: 195-201
file type icon 
Well-ordered monoids : two numerical functions (Algebraic Systems, Formal Languages and Conventional and Unconventional Computation Theory)
  Kobayashi, Yuji (2004-04)
  数理解析研究所講究録, 1366: 111-120
file type icon 
Structures of BCI and Open Problems (Algebraic Systems, Formal Languages and Conventional and Unconventional Computation Theory)
  Iseki, Kiyoshi (2004-04)
  数理解析研究所講究録, 1366: 82-90
file type icon 
Some Remarks on Automata without Letichevsky Criteria (Algebraic Systems, Formal Languages and Conventional and Unconventional Computation Theory)
  Domosi, Pal (2004-04)
  数理解析研究所講究録, 1366: 44-51
file type icon 
BINARY EQUALITY LANGUAGES FOR PERIODIC MORPHISMS (Algebraic Systems, Formal Languages and Conventional and Unconventional Computation Theory)
  Holub, Stepan (2004-04)
  数理解析研究所講究録, 1366: 52-54
file type icon 
Sequential Versus Parallel Grammar Formalisms with Respect to Measures of Descriptional Complexity (Algebraic Systems, Formal Languages and Conventional and Unconventional Computation Theory)
  Bordihn, Henning; Aydin, Suna (2004-04)
  数理解析研究所講究録, 1366: 13-21
file type icon 
A generalization of a non-symmetric numerical semigroup generated by three elements (Algebraic Systems, Formal Languages and Conventional and Unconventional Computation Theory)
  Komeda, Jiryo (2004-04)
  数理解析研究所講究録, 1366: 121-128
file type icon 
Free groups of the special orthogonal groups (Algebraic Systems, Formal Languages and Conventional and Unconventional Computation Theory)
  Sato, Kenzi (2004-04)
  数理解析研究所講究録, 1366: 188-194
file type icon 
On Commutative Semigroup Rings (Algebraic Systems, Formal Languages and Conventional and Unconventional Computation Theory)
  Matsuda, Ryuki (2004-04)
  数理解析研究所講究録, 1366: 153-164
file type icon 

絞り込み