On proving termination of higher-order rewrite systems by dependency pair technique

収録刊行物

• The First International Workshop on Higher-Order Rewriting (HOR'02)

  The First International Workshop on Higher-Order Rewriting (HOR'02) 25 2002