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