変換と部分評価に基づく非左辺正規なメタ項の停止性証明
スポンサーリンク
概要
- 論文の詳細を見る
- 京都大学数理解析研究所の論文
- 2005-00-00
京都大学数理解析研究所 | 論文
- 磁性流体界面における磁場解析と安定性解析 (非線形波動現象の数理と応用--RIMS研究集会報告集)
- Kahler geometric structures in generalized coherent state systems (量子科学における双対性とスケール--RIMS共同研究報告集)
- Multi-channel系における相補性と双対性 (量子科学における双対性とスケール--RIMS共同研究報告集)
- Residually finite one relator groups and their group rings (代数と言語のアルゴリズムと計算理論--RIMS研究集会報告集)
- 量子グラフ序説 (量子科学における双対性とスケール--RIMS共同研究報告集)