Kyoto University Research Information Repository: 検索

DSpace

Kyoto University

検索

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

前
1
2
次

検索結果:

書誌情報	ファイル
HYPERSEQUENT CALCULI FOR INTERMEDIATE PREDICATE LOGICS (Logic, Language, Algebraic system and Related Areas in Computer Science) IMAMURA, TAKUMA; MATSUMOTO, SHUYA; QUAWAI, SHIN (2021-07) 数理解析研究所講究録, 2193: 81-89
A side-channel attack against an automata theory based stream cipher (Logic, Language, Algebraic system and Related Areas in Computer Science) DÖMÖSI, Pál; HORVÁTH, Géza; MOLNÁR, Ferenc Tamás; KOVÁCS, Szabolcs; DIENE, Adama (2021-07) 数理解析研究所講究録, 2193: 64-72
On the square of a uniserial module (Logic, Language, Algebraic system and Related Areas in Computer Science) Shibata, Yoshiharu (2021-07) 数理解析研究所講究録, 2193: 115-120
Note on ($tilde{rho}$, $tilde{D}$)-separable polynomials in skew polynomial rings (Logic, Language, Algebraic system and Related Areas in Computer Science) YAMANAKA, SATOSHI (2021-07) 数理解析研究所講究録, 2193: 73-80
Modular magic relabelings on a modular magic sudoku with the minimum order (Logic, Language, Algebraic system and Related Areas in Computer Science) Adachi, Tomoko; Kuwajima, Daichi (2021-07) 数理解析研究所講究録, 2193: 98-106
On group algebras of R. Thompson's group $F$ (Logic, Language, Algebraic system and Related Areas in Computer Science) Nishinaka, Tsunekazu (2021-07) 数理解析研究所講究録, 2193: 107-114
Extension theorems for linear codes (Logic, Language, Algebraic system and Related Areas in Computer Science) Maruta, Tatsuya (2021-07) 数理解析研究所講究録, 2193: 90-97
Toward the Construction of Toric Imprimitive Reflection Groups (Logic, Language, Algebraic system and Related Areas in Computer Science) NAKAJIMA, Haruhisa (2021-07) 数理解析研究所講究録, 2193: 5-12
Quasi-symmetric numerical semigroups on triple covers of curves (Logic, Language, Algebraic system and Related Areas in Computer Science) 米田, 二良 (2021-07) 数理解析研究所講究録, 2193: 13-17
Uniform Exponential Growth in Twisted Polynomial Algebras (Logic, Language, Algebraic system and Related Areas in Computer Science) Briggs, Christopher (2021-07) 数理解析研究所講究録, 2193: 1-4