DSpace Kyoto University
Japanese | English 

Kyoto University Research Information Repository >
Research Institute for Mathematical Sciences >
RIMS Kokyuroku >

Algebra, Logic and Geometry in Informatics

Collection home page

 
 
or browse     
Subscribe to this collection to receive daily e-mail notification of new additions

List Of Items (Order by issued date)

Next page

BibliographyContents
Geometry of Interaction explained (Algebra, Logic and Geometry in Informatics)
  Shirahata, Masaru (2003-05)
  数理解析研究所講究録, 1318: 160-187
file type icon 
Embedding into Wreath Product and the Yoneda Lemma (Algebra, Logic and Geometry in Informatics)
  Hasegawa, Ryu (2003-05)
  数理解析研究所講究録, 1318: 150-159
file type icon 
Exponential Free Typed Bohm Theorem (Algebra, Logic and Geometry in Informatics)
  Matsuoka, Satoshi (2003-05)
  数理解析研究所講究録, 1318: 149-149
file type icon 
一般設計学と抽象設計論に関する考察 (代数・論理・幾何と情報科学)
  菊池, 誠 (2003-05)
  数理解析研究所講究録, 1318: 136-148
file type icon 
Coherence of the Double Negation in Linear Logic (Algebra, Logic and Geometry in Informatics)
  Hasegawa, Masahito (2003-05)
  数理解析研究所講究録, 1318: 133-135
file type icon 
A study on an immune network dynamical system model (Algebra, Logic and Geometry in Informatics)
  Itaya, Satoko (2003-05)
  数理解析研究所講究録, 1318: 122-132
file type icon 
明示的環境計算体系への部分型の導入 (代数・論理・幾何と情報科学)
  澤田, 康秀 (2003-05)
  数理解析研究所講究録, 1318: 113-121
file type icon 
Demonic orders and quasi-totality in Dedekind categories (Algebra, Logic and Geometry in Informatics)
  Kawahara, Yasuo, Okuma, Hitomi (2003-05)
  数理解析研究所講究録, 1318: 102-112
file type icon 
関係デ-タベ-スにおける従属性検証システムの実装 (代数・論理・幾何と情報科学)
  本多, 和正 (2003-05)
  数理解析研究所講究録, 1318: 94-101
file type icon 
Ideas in Logic and Computer-Science related to Ludics (Algebra, Logic and Geometry in Informatics)
  Nagayama, Misao (2003-05)
  数理解析研究所講究録, 1318: 75-93
file type icon 

Next page

 

DSpace Software Copyright © 2002-2006 MIT and Hewlett-Packard - Feedback - Privacy policy