Dependency Pairs Termination in Dependent Type Theory Modulo Rewriting
- Publication date
- 1 January 2019
- Publisher
- LIPIcs - Leibniz International Proceedings in Informatics. 4th International Conference on Formal Structures for Computation and Deduction (FSCD 2019)