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