青戸 等人 | 北陸先端科学技術大学院大学情報科学研究科

スポンサーリンク

概要

• 青戸 等人の詳細を見る
• 同名の論文著者
• 北陸先端科学技術大学院大学情報科学研究科の論文著者

関連著者

• 青戸 等人

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

• 青戸 等人

  東北大学電気通信研究所

• 外山 芳人

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

• 小野 寛

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

• 小野 寛[アキラ]

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

著作論文

• Uniqueness of normal proofs in {→,∧}-fragment of NJ
• 項書き換え系のパーシステント性の順序付きソートによる拡張
• Extending persistency of confluence with ordered sorts
• Top-down labelling and modularity of term rewriting systems
• Persistency of confluence
• Persistency of confluence
• Unique normal proof property for implicational minimal formulas in the intuitionistic logic

スポンサーリンク