Dynamic Dependency Pairs for Algebraic Functional Systems

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

Research output: Contribution to JournalArticleAcademicpeer-review

47 Downloads (Pure)
Original languageEnglish
JournalLogical Methods in Computer Science
DOIs
Publication statusAccepted/In press - 2012

Cite this