書誌情報	ファイル
表紙・目次    (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