Original language | English |
---|---|
Title of host publication | Proceedings of WST 2010 |
Publication status | Published - 2010 |
Higher Order Dependency Pairs With Argument Filterings
C.L.M. Kop, F. van Raamsdonk
Research output: Chapter in Book / Report / Conference proceeding › Conference contribution › Academic
24
Downloads
(Pure)