Search Results1-2 of  2

  • 坂田 翼 ID: 9000277863377

    Articles in CiNii:1

    • Rewriting Induction for Constrained Term Rewriting Systems (2009)
  • SAKATA Tsubasa ID: 9000006799390

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

    Articles in CiNii:9

    • On Rewriting Induction for Simply-typed Term Rewriting Systems (2012)
    • Disproving and Postulating for Multi-Context Rewriting Induction (2011)
    • On Rewriting Induction for Presburger-Constrained Term Rewriting Systems (2008)
Page Top