コレクションホームページ

1915 計算機科学における論理・代数・言語   24
(http://hdl.handle.net/2433/223218)

ブラウズ
文献一覧(目次の昇順ソート): 1 - 20 / 24
書誌情報ファイル
表紙・目次
   (2014-09)
  数理解析研究所講究録, 1915
file type icon
An extension to predicate logic of $lambdarho$-calculus (Logics, Algebras and Languages in Computer Science)
  山川, 郁加, 古森, 雄一 (2014-09)
  数理解析研究所講究録, 1915: 1-10
file type icon
Continuous semigroup structures on $mathbb{R}$ (Logics, Algebras and Languages in Computer Science)
  小林, ゆう治, 高橋, 眞英, 塚田, 真 (2014-09)
  数理解析研究所講究録, 1915: 11-14
file type icon
Triangle Constructive Trice 2 (Logics, Algebras and Languages in Computer Science)
  堀内, 清光 (2014-09)
  数理解析研究所講究録, 1915: 15-21
file type icon
Strategy for Five in a Row on small boards (Logics, Algebras and Languages in Computer Science)
  神保, 秀司 (2014-09)
  数理解析研究所講究録, 1915: 22-25
file type icon
A characteristic function to select rules for an automated prover (Logics, Algebras and Languages in Computer Science)
  小林, 英恒, 小野, 陽子 (2014-09)
  数理解析研究所講究録, 1915: 26-37
file type icon
On Frobenius polynomials in skew polynomial rings (Logics, Algebras and Languages in Computer Science)
  山中, 聡, 池畑, 秀一 (2014-09)
  数理解析研究所講究録, 1915: 38-43
file type icon
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
file type icon
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
file type icon
Non-Noetherian groups and primitivity of their group rings (Logics, Algebras and Languages in Computer Science)
  西中, 恒和 (2014-09)
  数理解析研究所講究録, 1915: 58-68
file type icon
The Structure of Fully Prime Rings Under Ascending Chain Conditions (Logics, Algebras and Languages in Computer Science)
  筒井, 久弥 (2014-09)
  数理解析研究所講究録, 1915: 69-73
file type icon
Lazy Clones and Essentially Minimal Clones (Logics, Algebras and Languages in Computer Science)
  町田, 元 (2014-09)
  数理解析研究所講究録, 1915: 74-77
file type icon
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
file type icon
Triple Systems and Applications to Gauge Theories (Logics, Algebras and Languages in Computer Science)
  佐藤, 松夫 (2014-09)
  数理解析研究所講究録, 1915: 89-96
file type icon
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
file type icon
双対性による正規言語のVariety Theory (計算機科学における論理・代数・言語)
  浦本, 武雄 (2014-09)
  数理解析研究所講究録, 1915: 100-112
file type icon
Regularity of Iterative Hairpin Completion of crossing words (Logics, Algebras and Languages in Computer Science)
  辻, 佳代子 (2014-09)
  数理解析研究所講究録, 1915: 113-117
file type icon
On 2-level secret sharing schemes (Logics, Algebras and Languages in Computer Science)
  足立, 智子 (2014-09)
  数理解析研究所講究録, 1915: 118-123
file type icon
Petri Net Morphisms and Codes (Logics, Algebras and Languages in Computer Science)
  國持, 良行 (2014-09)
  数理解析研究所講究録, 1915: 124-131
file type icon
On the Structure of Siphons of Petri Nets (Logics, Algebras and Languages in Computer Science)
  山崎, 秀記 (2014-09)
  数理解析研究所講究録, 1915: 132-141
file type icon
文献一覧(目次の昇順ソート): 1 - 20 / 24