書誌情報 | ファイル |
表紙・目次 (2019-10) 数理解析研究所講究録, 2130
| |
Bases of extractable closures of languages (Algebraic System, Logic, Language and Related Areas in Computer Science) Kunimochi, Yoshiyuki (2019-10) 数理解析研究所講究録, 2130: 1-6
| |
Invariant groups of cellular automata (Algebraic System, Logic, Language and Related Areas in Computer Science) 佐藤, 忠一 (2019-10) 数理解析研究所講究録, 2130: 7-12
| |
カンドルのある構成 (代数系、論理、言語と計算機科学の周辺) 神谷, 徳昭 (2019-10) 数理解析研究所講究録, 2130: 13-20
| |
Superprime Rings (Algebraic System, Logic, Language and Related Areas in Computer Science) Tsutsui, Hisaya (2019-10) 数理解析研究所講究録, 2130: 21-22
| |
Conjecture Related to König-Egerváry Theorem (Algebraic System, Logic, Language and Related Areas in Computer Science) Hosaka, Daisuke; Yamamura, Akihiro (2019-10) 数理解析研究所講究録, 2130: 23-25
| |
Modal Logic and Spatial Reasoning (Algebraic System, Logic, Language and Related Areas in Computer Science) Takeuti, Izumi (2019-10) 数理解析研究所講究録, 2130: 26-33
| |
Generation of Propositions in Isabelle/HOL (Algebraic System, Logic, Language and Related Areas in Computer Science) Kobayashi, Hidetsune; Ono, Yoko (2019-10) 数理解析研究所講究録, 2130: 34-41
| |
Structures and Their Cryptomorphic Manifestations: Searching for Inquiry Tools (Algebraic System, Logic, Language and Related Areas in Computer Science) Schroeder, Marcin J. (2019-10) 数理解析研究所講究録, 2130: 42-51
| |
Infinite sequences of non-Weierstrass numerical semigroup with odd conductor (Algebraic System, Logic, Language and Related Areas in Computer Science) Komeda, Jiryo (2019-10) 数理解析研究所講究録, 2130: 52-56
| |
BCK-代数における(I)$_{x,y}$-条件の性質をめぐって (代数系、論理、言語と計算機科学の周辺) 熊澤, 昌明 (2019-10) 数理解析研究所講究録, 2130: 57-63
| |
Note on radicals of filters in residuated lattices (Algebraic System, Logic, Language and Related Areas in Computer Science) Kondo, Michiro; Kwuida, Leonard (2019-10) 数理解析研究所講究録, 2130: 64-71
| |
FINITELY GENERATED SEMIGROUPS PRESENTED BY FINITE CONGRUENCE CLASSES II (Algebraic System, Logic, Language and Related Areas in Computer Science) SHOJI, KUNITAKA (2019-10) 数理解析研究所講究録, 2130: 72-73
| |
TOPOLOGY OF THE SPACE ON WHICH CELLULAR AUTOMATA WORKS (Algebraic System, Logic, Language and Related Areas in Computer Science) ISHIBASHI, HIROYUKI (2019-10) 数理解析研究所講究録, 2130: 74-79
| |
一意半単一化と正則単一化の比較 (代数系、論理、言語と計算機科学の周辺) 岩見, 宗弘 (2019-10) 数理解析研究所講究録, 2130: 80-84
| |
Distribution of solutions of FreeCell (Algebraic System, Logic, Language and Related Areas in Computer Science) JIMBO, Shuji; Yamada, Kotaro; Imamura, Sho; Ueno, Kazuki; Okada, Hiromu (2019-10) 数理解析研究所講究録, 2130: 85-90
| |
Some Examples of Minimal Groupoids on a Finite Set (Algebraic System, Logic, Language and Related Areas in Computer Science) Behrisch, Mike; Machida, Hajime (2019-10) 数理解析研究所講究録, 2130: 91-96
| |
On weakly separable polynomials and weakly quasi-separable polynomials in $q$-skew polynomial rings (Algebraic System, Logic, Language and Related Areas in Computer Science) YAMANAKA, SATOSHI (2019-10) 数理解析研究所講究録, 2130: 97-100
| |
Fractional Operations on Quadratic Fields (Algebraic System, Logic, Language and Related Areas in Computer Science) KOBAYASHI, YUJI (2019-10) 数理解析研究所講究録, 2130: 101-108
| |
Construction of new Griesmer codes of dimension 5 (Algebraic System, Logic, Language and Related Areas in Computer Science) Inoue, Yuto; Maruta, Tatsuya (2019-10) 数理解析研究所講究録, 2130: 109-112
| |