Argument filterings and usable rules for simply typed dependency pairs
書誌事項
- タイトル
- Argument filterings and usable rules for simply typed dependency pairs
- 著者
- 青戸等人, 吉田順一, 外山芳人
収録刊行物
-
- In Proceedings of the 20th International Conference on Rewriting Techniques and Applications (RTA 2009) LNCS 5595
-
In Proceedings of the 20th International Conference on Rewriting Techniques and Applications (RTA 2009) LNCS 5595 93-102, 2009