Title
Author(s)
Citation
Issue Date
URL
A Formal System of Programs (プログラムの基礎理論)
KANAYAMA, YUTAKA
数理解析研究所講究録 (1973), 189: 70-81
1973-10
http://hdl.handle.net/2433/107220
Right
Type
Textversion
Departmental Bulletin Paper
publisher
Kyoto University
数理解析研究所講究録
189 巻 1973 年 70-81

Title Teichmuller Spaces of Seifert Fibered Manifolds with

Title Cauchy問題のSingularityの伝播について (位相解析的方法

KURENAI : Kyoto University Research Information

Title ON QUASIPERIODIC SOLUTIONS TO VAN DER POL

名古屋ライブ

Title On the Cosine Problem of S. Chowla (数論と調和解析)

Title 連結ベクトルパターンによる多次元順位相関の尺度につ いて (多

Title 時分割形複合交換系の待ち行列モデル (待行列理論とそ の

Title On Homology 3-Spheres Which Bound Contractible 4

Title On the Orr-Sommerfeld Type Equations (常微分方程式の解 析的

Title Coxeter群のある種の分解の構成 (有限群のコホモロジー 論

Title Deformed Sierpinski Gasketsについて(作用素論の実解析的 応用

Title Drach-Vessiot理論について(複素解析と大域解析 : 微分方 程式の

Title 正則函数f(x)の不変量L(f)と$f^{-1}(0)$の特異点の性質に

Title Ample divisorとしてのGrassmann多様体 Author(s) 藤田