書誌情報	ファイル
表紙・目次    (2014-09)   数理解析研究所講究録, 1915
An extension to predicate logic of $lambdarho$-calculus (Logics, Algebras and Languages in Computer Science)   山川, 郁加; 古森, 雄一 (2014-09)   数理解析研究所講究録, 1915: 1-10
Continuous semigroup structures on $mathbb{R}$ (Logics, Algebras and Languages in Computer Science)   小林, ゆう治; 高橋, 眞英; 塚田, 真 (2014-09)   数理解析研究所講究録, 1915: 11-14
Triangle Constructive Trice 2 (Logics, Algebras and Languages in Computer Science)   堀内, 清光 (2014-09)   数理解析研究所講究録, 1915: 15-21
Strategy for Five in a Row on small boards (Logics, Algebras and Languages in Computer Science)   神保, 秀司 (2014-09)   数理解析研究所講究録, 1915: 22-25
A characteristic function to select rules for an automated prover (Logics, Algebras and Languages in Computer Science)   小林, 英恒; 小野, 陽子 (2014-09)   数理解析研究所講究録, 1915: 26-37
On Frobenius polynomials in skew polynomial rings (Logics, Algebras and Languages in Computer Science)   山中, 聡; 池畑, 秀一 (2014-09)   数理解析研究所講究録, 1915: 38-43
Algebraic Model for the Dualism of Selective and Structural Manifestations of Information (Logics, Algebras and Languages in Computer Science)   Schroeder, Marcin J. (2014-09)   数理解析研究所講究録, 1915: 44-52
The proportion of numerical semigroups with no descendant or an infinite number of descendants (Logics, Algebras and Languages in Computer Science)   米田, 二良 (2014-09)   数理解析研究所講究録, 1915: 53-57
Non-Noetherian groups and primitivity of their group rings (Logics, Algebras and Languages in Computer Science)   西中, 恒和 (2014-09)   数理解析研究所講究録, 1915: 58-68
The Structure of Fully Prime Rings Under Ascending Chain Conditions (Logics, Algebras and Languages in Computer Science)   筒井, 久弥 (2014-09)   数理解析研究所講究録, 1915: 69-73
Lazy Clones and Essentially Minimal Clones (Logics, Algebras and Languages in Computer Science)   町田, 元 (2014-09)   数理解析研究所講究録, 1915: 74-77
On $(alpha,beta,gamma)$-structurable algebras and Dynkin diagrams : Beyond Lie algebras to triple systems (Logics, Algebras and Languages in Computer Science)   神谷, 徳昭 (2014-09)   数理解析研究所講究録, 1915: 78-88
Triple Systems and Applications to Gauge Theories (Logics, Algebras and Languages in Computer Science)   佐藤, 松夫 (2014-09)   数理解析研究所講究録, 1915: 89-96
THE FULL TRANSFORMATION SEMIGROUP OF FINITE RANK AND AMALGAMATION BASES FOR FINITE SEMIGROUPS (Logics, Algebras and Languages in Computer Science)   庄司, 邦孝 (2014-09)   数理解析研究所講究録, 1915: 97-99
双対性による正規言語のVariety Theory (計算機科学における論理・代数・言語)   浦本, 武雄 (2014-09)   数理解析研究所講究録, 1915: 100-112
Regularity of Iterative Hairpin Completion of crossing words (Logics, Algebras and Languages in Computer Science)   辻, 佳代子 (2014-09)   数理解析研究所講究録, 1915: 113-117
On 2-level secret sharing schemes (Logics, Algebras and Languages in Computer Science)   足立, 智子 (2014-09)   数理解析研究所講究録, 1915: 118-123
Petri Net Morphisms and Codes (Logics, Algebras and Languages in Computer Science)   國持, 良行 (2014-09)   数理解析研究所講究録, 1915: 124-131
On the Structure of Siphons of Petri Nets (Logics, Algebras and Languages in Computer Science)   山崎, 秀記 (2014-09)   数理解析研究所講究録, 1915: 132-141