外山 芳人 | 北陸先端科学技術大学院大学

スポンサーリンク

概要

• 同名の論文著者
• 北陸先端科学技術大学院大学の論文著者

関連著者

• 外山 芳人

  北陸先端科学技術大学院大学

• 酒井 正彦

  北陸先端科学技術大学院大学

• 青戸 等人

  東北大学電気通信研究所

• 青戸 等人

  北陸先端科学技術大学院大学情報科学研究科

• 中村 正樹

  金沢大学理工学域電子情報学類

• 中村 正樹

  北陸先端科学技術大学院大学情報科学研究科

• 中村 正樹

  金沢大学 理工学域 電子情報学類

• 大山口 通夫

  三重大学工学研究科

• 岩見 宗弘

  北陸先端科学技術大学院大学

• 長谷 崇

  北陸先端科学技術大学院大学

• 高橋 宜孝

  (株)日立製作所日立研究所

• 大山口 通夫

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

• 高橋 宜孝

  (株)日立製作所

• 太田 義勝

  三重大学工学部

• 北原 彰

  北陸先端科学技術大学院大学

• 草刈 圭一朗

  北陸先端科学技術大学院大学情報科学研究科

• 草刈 圭一郎

  北陸先端科学技術大学院大学 情報科学研究科

• 高橋 宜孝

  北陸先端科学技術大学院大学

もっと見る 閉じる

著作論文

• 高階項書換え系における改良再帰分解順序について
• 高階項書換え系の停止性について
• 依存対を用いた文脈依存書換え系の停止性判定について
• 消去法による項書換え系の停止性判定について
• 消去法による項書換え系の停止性判定について
• 項書換え系の合流性を保存する合併条件について
• 依存対を利用したAC停止性の証明法
• 条件付き項書換え系の合流性について
• 重なりのある強逐次系のインデックス簡約について
• 項書き換え系のパーシステント性の順序付きソートによる拡張
• Extending persistency of confluence with ordered sorts
• Top-down labelling and modularity of term rewriting systems
• Persistency of confluence
• Persistency of confluence
• 単純右線形項書換えシステムの合流性について
• 条件付き項書換え系の合流性について
• NVNF-逐次系におけるインデックスの決定可能性
• E重なりのある単純右線形項書き換えシステムの合流性について

もっと見る 閉じる

スポンサーリンク