1. Kyoto University Research Information Repository

検索


適用済条件:
検索をやり直す
検索条件の追加:

検索条件を追加することで検索結果を絞り込むことができます。

 | 
検索結果表示: 1-10 / 19.
検索結果:
書誌情報ファイル
Nominal Sets, Equivariance Reasoning, and Variable Binding (Algebra, Logic and Geometry in Informatics)
  Gabbay, Murdoch J. (2003-05)
  数理解析研究所講究録, 1318: 46-47
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: 136-148
file type icon 
明示的環境計算体系への部分型の導入 (代数・論理・幾何と情報科学)
  澤田, 康秀 (2003-05)
  数理解析研究所講究録, 1318: 113-121
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 
Coherence of the Double Negation in Linear Logic (Algebra, Logic and Geometry in Informatics)
  Hasegawa, Masahito (2003-05)
  数理解析研究所講究録, 1318: 133-135
file type icon 
Exponential Free Typed Bohm Theorem (Algebra, Logic and Geometry in Informatics)
  Matsuoka, Satoshi (2003-05)
  数理解析研究所講究録, 1318: 149-149
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 
Geometry of Interaction explained (Algebra, Logic and Geometry in Informatics)
  Shirahata, Masaru (2003-05)
  数理解析研究所講究録, 1318: 160-187
file type icon 
関係デ-タベ-スにおける従属性検証システムの実装 (代数・論理・幾何と情報科学)
  本多, 和正 (2003-05)
  数理解析研究所講究録, 1318: 94-101
file type icon 

絞り込み