山田 俊行 | 三重大学工学部情報工学科

スポンサーリンク

概要

• 山田 俊行[他]の詳細を見る
• 同名の論文著者
• 三重大学工学部情報工学科の論文著者

関連著者

• 山田 俊行

  三重大学工学部情報工学科

• 大山口 通夫

  三重大学工学研究科

• 山田 俊行

  三重大学大学院工学研究科情報工学専攻

• 大山口 通夫

  三重大学大学院工学研究科情報工学専攻

• 三橋 一郎

  三重大学総合情報処理センター

• 三橋 一郎

  三重大学工学部

• MITSUHASHI ICHIRO

  Faculty of Engineering, Mie University

• 青戸 等入

  群馬大学工学部情報工学科

• 清水 豪樹

  三重大学工学部

• Mitsuhashi Ichiro

  Mie Univ. Tsu‐shi Jpn

• 太田 義勝

  Faculty Of Engineering Mie University

• 太田 義勝

  三重大学工学部

• 大田 義勝

  三重大学工学部

• 座礼 晃一

  三重大学工学部情報工学科

• 青戸 等人

  群馬大学工学部情報工学科

• 青戸 等人

  群馬大学工学部

• 紅林 清志

  三重大学工学部

• 山田 俊行[他]

  三重大学工学部

もっと見る 閉じる

著作論文

• The Reachability and Related Decision Problems for Semi-Constructor TRSs (Theoretical Computer Science and its Applications)
• The Joinability and Unification Problems for Confluent Semi-Constructor TRSs (Evolutionary Advancement in Fundamental Theories of Computer Science)
• 単項的TRSにおける単ー化問題について
• 型付けによるファイル間データ非干渉の検証
• 単純型付き項書換え系における停止性の自動証明
• 単純型付き項書換え系における停止性の自動証明
• A-016 DAGの高さを4以下に制限したタスクスケジューリングの近似アルゴリズムについて(A分野:モデル・アルゴリズム・プログラミング)
• DAG の高さを4以下に制限したタスクスケジューリングの近似アルゴリズムについて(計算機科学の理論とその応用)

スポンサーリンク