稲垣 康善 | 三重大学工学部
スポンサーリンク
概要
関連著者
-
稲垣 康善
三重大学工学部
-
本多 波雄
名古屋大学工学部
-
山下 雅史
名古屋大学工学部
-
本多 波雄
名古屋商科大学
-
山本 修一郎
名古屋大学情報連携統括本部情報戦略室
-
坂部 俊樹
名古屋大学大学院情報科学研究科
-
福村 晃夫
名古屋大学:中京大学情報科学部
-
山本 修一郎
名古屋大学
-
山本 修一郎
名古屋大学工学部
-
吉田 雄二
名古屋大学
-
太田 義勝
名古屋大学
-
福村 晃夫
名古屋大学
著作論文
- 正規表現の直和標準形 (情報科学の数学的基礎理論と応用)
- 同期付生成システム(SPS)について (計算の複雑性に関する研究)
- ヤノフ形並列プログラム図式の決定可能問題 (情報科学の数学的基礎理論と応用)
- 並列プログラム図式に関するいくつかの性質 (計算機科学の数学的基礎)
- FORTRANによって実現された会話型LISPシステムとその応用
- 不完全指定形抽象データタイプの仕様記述と実現 (計算の複雑性に関する研究)