Kurihara Masahito | Faculty Of Engineering Hokkaido University

スポンサーリンク

概要

• 同名の論文著者
• Faculty Of Engineering Hokkaido Universityの論文著者

関連著者

• Ohuchi Azuma

  Faculty Of Engineering Hokkaido University

• Kurihara Masahito

  Faculty Of Engineering Hokkaido University

• KURIHARA Masahito

  Faculty of Engineering, Hokkaido University

• Ohuchi A

  Hokkaido Univ. Sapporo‐shi Jpn

• NUMAZAWA Masanobu

  Faculty of Engineering, Hokkaido University

• Numazawa Masanobu

  Faculty Of Engineering Hokkaido University

• Kurihara M

  Hokkaido Univ. Sapporo‐shi Jpn

著作論文

• 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

スポンサーリンク