Skip navigation
ホーム
ブラウズ
研究科等一覧
ブラウズ:
タイトル
著者
発行日
キーワード
分類
資料種別
アクセスランキング
アクセス統計
京都大学
図書館機構
統計
アクセスランキング
アクセス統計
リンク
京都大学
図書館機構
Language
日本語
English
マイ・リポジトリ
購読情報編集
利用者情報編集
Kyoto University Research Information Repository
検索
検索対象:
リポジトリ全体
400 数理解析研究所 = 400_Research Institute for Mathematical Sciences
1.講究録 = RIMS Kokyuroku
1166 代数系,形式言語および計算理論 = Algebraic Systems, Formal Languages and Computations
検索語
適用済条件:
タイトル
著者
キーワード
発行日
分類
資料種別
等しい
含む
ID
等しくない
含まない
ID以外
検索をやり直す
検索条件の追加:
検索条件を追加することで検索結果を絞り込むことができます。
タイトル
著者
キーワード
発行日
分類
資料種別
等しい
含む
ID
等しくない
含まない
ID以外
検索結果表示: 1-10 / 31.
前
1
2
3
4
次
検索結果:
書誌情報
ファイル
A note on the languages recognized by commutative asynchronous automata (Algebraic Systems, Formal Languages and Computations)
Imreh, Balazs; Ito, Masami; Pukler, Antal (2000-08)
数理解析研究所講究録, 1166: 95-99
On the Shapes of Vertex Subsets of Hypercubes That Minimize Their Boundary (Algebraic Systems, Formal Languages and Computations)
Jimbo, Shuji; Hashiguchi, Kosaburo; Yamamoto, Osamu (2000-08)
数理解析研究所講究録, 1166: 109-117
Agreeing theorem in an S-4 logic model (Algebraic Systems, Formal Languages and Computations)
Hirase, Kazuki (2000-08)
数理解析研究所講究録, 1166: 86-94
Some problems of BCk, BCI algebras (Algebraic Systems, Formal Languages and Computations)
Iseki, Kiyoshi (2000-08)
数理解析研究所講究録, 1166: 100-108
Some open problems in combinatorics of words and related areas (Algebraic Systems, Formal Languages and Computations)
Karhumaki, Juhani (2000-08)
数理解析研究所講究録, 1166: 118-130
The Weierstrass semigroup of a pair and moduli in $\mathcal{M}_3$ (Algebraic Systems, Formal Languages and Computations)
Komeda, Jiryo (2000-08)
数理解析研究所講究録, 1166: 138-143
On an Extension of Semigroup (Algebraic Systems, Formal Languages and Computations)
Kobayashi, Yukio (2000-08)
数理解析研究所講究録, 1166: 144-151
ON $k$-p-INFIX CODES (Algebraic Systems, Formal Languages and Computations)
Long, Dongyang; Jia, Weijia (2000-08)
数理解析研究所講究録, 1166: 152-160
Iteration Lemmata for Normed Semirings (Algebraic Systems, Formal Languages and Computations)
Kudlek, Manfred (2000-08)
数理解析研究所講究録, 1166: 131-137
Parallelization of Restricted Quantum Circuits using Ancillae (Algebraic Systems, Formal Languages and Computations)
Abe, Hideaki; Sung, Shao Chin (2000-08)
数理解析研究所講究録, 1166: 1-7
絞り込み
著者
1
Abe, Hideaki
1
Almeida, Jorge
1
Asai, Kazuto
1
Asayama, Takashi
1
Austinat, Holger
1
Csuhaj-Varju, Erzsebet
1
Diekert, Volker
1
Esik, Zoltan
1
Feinsilver, Philip
1
Fujita, Ken-etsu
.
次 >
分類
31
410
資料種別
30
Departmental Bulletin Paper
1
Others