Higher Order Dependency Pairs With Argument Filterings

C.L.M. Kop, F. van Raamsdonk

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademic

24 Downloads (Pure)
Original languageEnglish
Title of host publicationProceedings of WST 2010
Publication statusPublished - 2010

Cite this