ブラウズ "1318 代数・論理・幾何と情報科学": 発行日
検索結果表示: 11 - 20 / 20
< 前ページ
| 書誌情報 | ファイル |
|---|
Channel Theory as a Philosophical Experiment : Abstract (Algebra, Logic and Geometry in Informatics)
Shimojima, Atsushi (2003-05)
数理解析研究所講究録, 1318: 74-74
|  |
Ideas in Logic and Computer-Science related to Ludics (Algebra, Logic and Geometry in Informatics)
Nagayama, Misao (2003-05)
数理解析研究所講究録, 1318: 75-93
| |
Equational Tree Automata : Towards Automated Verification of Network Protocols (Algebra, Logic and Geometry in Informatics)
Ohsaki, Hitoshi; Takai, Toshinori (2003-05)
数理解析研究所講究録, 1318: 48-52
| |
整合的ドメインの極限要素集合の次元について (代数・論理・幾何と情報科学)
立木, 秀樹 (2003-05)
数理解析研究所講究録, 1318: 15-20
| |
メレオトポロジ-と計算 (代数・論理・幾何と情報科学)
三好, 博之 (2003-05)
数理解析研究所講究録, 1318: 21-29
| |
Pointwise and Sequential Continuity in Constructive Analysis (Algebra, Logic and Geometry in Informatics)
Ishihara, Hajime (2003-05)
数理解析研究所講究録, 1318: 1-2
| |
Effective Limit in Computable Analysis (Algebra, Logic and Geometry in Informatics)
Takeuti, Izumi (2003-05)
数理解析研究所講究録, 1318: 3-14
| |
Structural Induction and the $\lambda$-Calculus (Algebra, Logic and Geometry in Informatics)
Vestergaard, Rene (2003-05)
数理解析研究所講究録, 1318: 30-45
| |
Towards a Convenient Category of Topological Domains (Algebra, Logic and Geometry in Informatics)
Simpson, Alex (2003-05)
数理解析研究所講究録, 1318: 53-73
| |
表紙・目次
(2003-05)
数理解析研究所講究録, 1318
| |
