青戸 等人 | 東北大学電気通信研究所
スポンサーリンク
概要
関連著者
-
青戸 等人
東北大学電気通信研究所
-
外山 芳人
東北大学電気通信研究所
-
草刈 圭一朗
名古屋大学大学院情報科学研究科
-
青戸 等人
北陸先端科学技術大学院大学情報科学研究科
-
外山 芳人
北陸先端科学技術大学院大学
-
吉田 順一
東北大学電気通信研究所
-
千葉 勇輝
東北大学電気通信研究所
-
落合 秀幸
東北大学電気通信研究所
-
岩見 宗弘
島根大学総合理工学部
-
嶌津 聡志
日本電信電話株式会社NTTアクセスサービスシステム研究所
-
嶌津 聡志
NTTアクセスサービスシステム研究所
-
村井 正勝
東北大学電気通信研究所
-
磯部 耕己
東北大学電気通信研究所
-
道又 淳一
東北大学電気通信研究所
-
秋谷 賢司
東北大学電気通信研究所
-
千吉良 直紀
島根大学総合理工学部
著作論文
- 項書き換えシステムの合流性自動判定
- A-033 S式書き換えシステムの停止性を保証するカリー化について(モデル・アルゴリズム・プログラミング,一般論文)
- 木準同型写像を用いた項パターンマッチング
- 反証機能付き書き換え帰納法のための補題自動生成法
- LA-009 項書き換えシステムの合流性自動判定(モデル・アルゴリズム・プログラミング)
- LA-002 パターンに基づくプログラム変換における列変数の導入(A分野:モデル・アルゴリズム・プログラミング)
- A-032 多重Knuth-Bendix完備化における危険対除去手法の導入(モデル・アルゴリズム・プログラミング,一般論文)
- A-034 基底項書き換え系の合流性自動判定(モデル・アルゴリズム・プログラミング,一般論文)
- 修正AC単調意味論経路順序によるAC停止性
- 修正AC単調意味論経路順序によるAC停止性
- 優先順序付き書き換えの計算モデル
- 項書き換え系のパーシステント性の順序付きソートによる拡張
- Extending persistency of confluence with ordered sorts
- Top-down labelling and modularity of term rewriting systems
- Persistency of confluence
- Persistency of confluence
- 無限項書き換えシステムにおける性質に関する考察 (代数と言語のアルゴリズムと計算理論)