Search Results1-2 of  2

  • 磯谷 泰巨 ID: 9000276430428

    Articles in CiNii:1

    • Argument Filtering Method for Second-Order Higher-Order Rewrite Systems (2007)
  • ISOGAI Yasuo ID: 9000006124606

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

    Articles in CiNii:4

    • Proving Termination of Higher-Order Rewrite Systems based on Strongly Computable Dependency Pair Method (2006)
    • Static Dependency Pair Method for Proving Termination of Higher-Order Rewriting Systems (2007)
    • Argument Filtering Method for Second-Order Higher-Order Rewrite Systems (2007)
Page Top