大山口 通夫 | 名古屋大学
スポンサーリンク
概要
関連著者
-
三橋 一郎
三重大学総合情報処理センター
-
大山口 通夫
名古屋大学
-
大山口 通夫
三重大学工学研究科
-
松浦 邦博
三重大
-
大山口 通夫
三重大
-
野呂 耕三
三重大学大学院工学研究科
-
松浦 邦博
三重大学工学部情報工学科
-
三橋 一郎
三重大
-
三橋 一郎
三重大学工学部
-
Jacquemard Florent
INRIA-Futures and LSV
-
松浦 邦博
三重大学大学院工学研究科
著作論文
- ツーバイフォーパネル部材の最適木取ソフトウェアの開発
- A-011 An Extension of E-overlapping Notion in Term Rewriting Systems and its Applications
- A-017 厳密解法と発見的手法の組合せによるサイズ可変ビンパッキング問題の解法(モデル・アルゴリズム・プログラミング,一般論文)
- The Confluence Problem for Flat TRSs(New Trends in Theory of Computation and Algorithm)
- 弱単項TRSのE重なり性について