Search Results1-1 of  1

  • MISHUKU Yoshimasa ID: 9000045996703

    Graduate School of Information Science, Nagoya University (2009 from CiNii)

    Articles in CiNii:2

    • On Decidability of Context-Sensitive Termination for Right-Linear Right-Shallow Term Rewriting Systems (2009)
    • On Decidability of Context-Sensitive Termination for Right-Linear Right-Shallow Term Rewriting Systems (2009)
Page Top