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)

Order by table of contents   Order by issued date Next page

BibliographyContents
表紙・目次
   (2003-05)
  数理解析研究所講究録, 1318
file type icon 
Pointwise and Sequential Continuity in Constructive Analysis (Algebra, Logic and Geometry in Informatics)
  Ishihara, Hajime (2003-05)
  数理解析研究所講究録, 1318: 1-2
file type icon 
Effective Limit in Computable Analysis (Algebra, Logic and Geometry in Informatics)
  Takeuti, Izumi (2003-05)
  数理解析研究所講究録, 1318: 3-14
file type icon 
整合的ドメインの極限要素集合の次元について (代数・論理・幾何と情報科学)
  立木, 秀樹 (2003-05)
  数理解析研究所講究録, 1318: 15-20
file type icon 
メレオトポロジ-と計算 (代数・論理・幾何と情報科学)
  三好, 博之 (2003-05)
  数理解析研究所講究録, 1318: 21-29
file type icon 
Structural Induction and the $\lambda$-Calculus (Algebra, Logic and Geometry in Informatics)
  Vestergaard, Rene (2003-05)
  数理解析研究所講究録, 1318: 30-45
file type icon 
Nominal Sets, Equivariance Reasoning, and Variable Binding (Algebra, Logic and Geometry in Informatics)
   (2003-05)
  数理解析研究所講究録, 1318: 46-47
file type icon 
Equational Tree Automata : Towards Automated Verification of Network Protocols (Algebra, Logic and Geometry in Informatics)
  Ohsaki, Hitoshi, Takai, Toshinori (2003-05)
  数理解析研究所講究録, 1318: 48-52
file type icon 
Towards a Convenient Category of Topological Domains (Algebra, Logic and Geometry in Informatics)
  Simpson, Alex (2003-05)
  数理解析研究所講究録, 1318: 53-73
file type icon 
Channel Theory as a Philosophical Experiment : Abstract (Algebra, Logic and Geometry in Informatics)
  Shimojima, Atsushi (2003-05)
  数理解析研究所講究録, 1318: 74-74
file type icon 

Next page

 

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