Skip navigation
ホーム
ブラウズ
研究科等一覧
ブラウズ:
タイトル
著者
発行日
キーワード
分類
資料種別
アクセスランキング
アクセス統計
京都大学
図書館機構
統計
アクセスランキング
アクセス統計
リンク
京都大学
図書館機構
Language
日本語
English
マイ・リポジトリ
購読情報編集
利用者情報編集
Kyoto University Research Information Repository
検索
検索対象:
リポジトリ全体
400 数理解析研究所 = 400_Research Institute for Mathematical Sciences
1.講究録 = RIMS Kokyuroku
2229 論理・代数系・言語と計算機科学の周辺領域 = Logic, Algebraic system, Language and Related Areas in Computer Science
検索語
適用済条件:
タイトル
著者
キーワード
発行日
分類
資料種別
等しい
含む
ID
等しくない
含まない
ID以外
検索をやり直す
検索条件の追加:
検索条件を追加することで検索結果を絞り込むことができます。
タイトル
著者
キーワード
発行日
分類
資料種別
等しい
含む
ID
等しくない
含まない
ID以外
検索結果表示: 1-10 / 17.
前
1
2
次
検索結果:
書誌情報
ファイル
On Computational Aspects of Finding Inverse Monoids of Partial Automorphisms (Logic, Algebraic system, Language and Related Areas in Computer Science)
Jajcayová, Tatiana B. (2022-09)
数理解析研究所講究録, 2229: 88-96
A general form on the logic puzzles of Boolos (Logic, Algebraic system, Language and Related Areas in Computer Science)
Fujita, Ken-etsu; Kurata, Toshihiko (2022-09)
数理解析研究所講究録, 2229: 21-29
A Study of Constraints on Eulerian Circuits (Logic, Algebraic system, Language and Related Areas in Computer Science)
Jimbo, Shuji (2022-09)
数理解析研究所講究録, 2229: 81-87
On Weierstrass numerical semigroups generated by four elements (Logic, Algebraic system, Language and Related Areas in Computer Science)
米田, 二良 (2022-09)
数理解析研究所講究録, 2229: 30-35
Computer Aided Constructions of Cages (Logic, Algebraic system, Language and Related Areas in Computer Science)
Jajcay, Robert; Koorepazan Moftakhar, Fatemeh (2022-09)
数理解析研究所講究録, 2229: 64-73
On Regularity and Roots of Strong Codes (Logic, Algebraic system, Language and Related Areas in Computer Science)
Kunimochi, Yoshiyuki (2022-09)
数理解析研究所講究録, 2229: 111-116
On a formula of parametric version for Heronian triangles (Logic, Algebraic system, Language and Related Areas in Computer Science)
ARIMOTO, Koichi (2022-09)
数理解析研究所講究録, 2229: 36-41
The Tarksi Theorems, Extensions to Group Rings and Logical Rigidity (Logic, Algebraic system, Language and Related Areas in Computer Science)
Fine, Benjamin (2022-09)
数理解析研究所講究録, 2229: 1-10
On Galois polynomials with a cyclic Galois group in skew polynomial rings (Logic, Algebraic system, Language and Related Areas in Computer Science)
HONGOU, Katsunori; IKEGAMI, Kanaru; YAMANAKA, Satoshi (2022-09)
数理解析研究所講究録, 2229: 74-80
ある8次元代数の三対原理 (論理・代数系・言語と計算機科学の周辺領域)
Kamiya, Noriaki (2022-09)
数理解析研究所講究録, 2229: 52-63
絞り込み
著者
2
KOBAYASHI, YUJI
1
ARIMOTO, Koichi
1
Fine, Benjamin
1
Fujita, Ken-etsu
1
HONGOU, Katsunori
1
IKEGAMI, Kanaru
1
Jajcay, Robert
1
Jajcayová, Tatiana B.
1
Jimbo, Shuji
1
Kamiya, Noriaki
.
次 >
キーワード
1
Automaton Group
1
Automaton Semigroup
1
axiomatic systems
1
computer experiment
1
constraint
1
discriminates
1
elementary equivalent
1
Eulerian circuit
1
Freeness
1
Group ring
.
次 >
発行日
17
2022
資料種別
15
Departmental Bulletin Paper
2
Others