1 paper
Ariane Alves Almeida, Mauricio Ayala-Rincon
Rewriting is a framework for reasoning about functional programming. The dependency pair criterion is a well-known mechanism to analyze termination of term rewriting systems. Funct…