櫻井 敬大 | 名古屋大学大学院情報科学研究科
スポンサーリンク
概要
関連著者
-
酒井 正彦
名古屋大学大学院情報科学研究科
-
西田 直樹
名古屋大学大学院情報科学研究科
-
坂部 俊樹
名古屋大学大学院情報科学研究科
-
櫻井 敬大
名古屋大学大学院情報科学研究科
-
酒井 正彦
名古屋大学
-
坂部 俊樹
名古屋大学大学院 情報科学研究科
-
西田 直樹
名古屋大学大学院 情報科学研究科
-
草刈 圭一朗
名古屋大学大学院情報科学研究科
-
草刈 圭一朗
名古屋大学 大学院情報科学研究科
-
草刈 圭一郎
名大名古屋大学大学院情報科学研究科
著作論文
- 単純型項書換え系上の依存対法における実効規則と直積型項へのラベル付け(基礎理論,フォーマルアプローチ論文)
- 単純型項書換え系上の依存対法における実効規則と直積型項へのラベル付け
- LA-001 関数プログラムの再帰構造解析と強計算性に基づく十分完全性の証明法(A分野:モデル・アルゴリズム・プログラミング)
- 強計算性に基づいた単純型項書換え系の停止性証明法