高階項書き換え系について

スポンサーリンク

概要

• 論文の詳細を見る
• 一般社団法人電子情報通信学会の論文
• 1996-09-18

著者

• 高橋 正子

  東京工業大学大学院情報理工学研究科数理・計算科学専攻

• 高橋 正子

  東京工業大学

関連論文

• Generalized Parenthesis Languages and Minimalization of Their Parenthesis Parts (形式言語理論とオートマトン理論)
• Parallel Reductions in $\lambda$-Calculus
• スコット理論
• 高階項書き換え系について
• 言語構造への数学的アプロ-チ--treeの概念を中心にして
• 言語とω言語

スポンサーリンク