Another Representation of Integers in Logic

スポンサーリンク

概要

• 論文の詳細を見る
• 1993-03-15

著者

• Ohuchi Azuma

  Faculty Of Engineering Hokkaido University

• Kurihara Masahito

  Faculty Of Engineering Hokkaido University

関連論文

• Implementation of Conditional Term Rewriting Systems equipped with Meta-computation(Theory of Rewriting Systems and Its Applications)
• Modular Term Rewriting Systems with Shared Constructors
• Decomposable Termination of Composable Term Rewriting Systems
• Another Representation of Integers in Logic
• Another Representation of Integers in Logic
• Another Representation of Integers in Logic

スポンサーリンク