A proof of the conjecture of zantema on a persistent property of term rewriting systems

スポンサーリンク

概要

• 論文の詳細を見る
• 北陸先端科学技術大学院大学の論文
• 1998-02-20

著者

• Aoto Takahito

  School Of Information Science Japan Advanced Institute Of Science And Technology Hokuriku

関連論文

• A proof of the conjecture of zantema on a persistent property of term rewriting systems

スポンサーリンク