橋本 健二 | 奈良先端科学技術大学院大学情報科学研究科

スポンサーリンク

概要

• 橋本 健二の詳細を見る
• 同名の論文著者
• 奈良先端科学技術大学院大学情報科学研究科の論文著者

関連著者

• 橋本 健二

  奈良先端科学技術大学院大学情報科学研究科

• 石原 靖哲

  大阪大学大学院基礎工学研究科情報数理系

• 藤原 融

  大阪大学大学院基礎工学研究科

• 藤原 融

  大阪大学大学院情報科学研究科

• 橋本 健二

  大阪大学大学院情報科学研究科

• 石原 靖哲

  大阪大学大学院情報科学研究科

• 藤原 融

  大阪大学大学院基礎工学研究科情報数理系

• 藤原 融

  大阪大学 大学院情報科学研究科

• 藤原 融

  大阪大学基礎工学部情報工学科

• 関 浩之

  奈良先端科学技術大学院大学情報科学研究科

• 関 浩之

  奈良先端科学技術大学院大学

• 清水 將吾

  産業技術大学院大学

• 宮原 一喜

  奈良先端科学技術大学院大学情報科学研究科

• 澤田 龍太

  大阪大学大学院情報科学研究科

• 清水 將吾

  産業技術大学院大学産業技術研究科

• 楠 洋平

  大阪大学大学院情報科学研究科

• 橋本 健二

  奈良先端科学技術大学院大学 情報科学研究科

もっと見る 閉じる

著作論文

• DTD存在下での否定を含まないXPathクエリの恒真性判定
• 決定性線形下降木変換器における頂点問合せ保存
• 兄弟軸をもつXPath充足可能性問題に対するduplicate-free DTDとdisjunction-capsuled DTDの多項式時間可解性の融合
• 決定性線形トップダウン木変換器における問合せ保存の決定可能性
• DTD存在下における兄弟軸を含むPositive XPathクエリの恒真性判定問題(論理と形式手法)

スポンサーリンク