Dynamic Dependency Pairs for Algebraic Functional Systems
From MaRDI portal
Publication:2895471
DOI10.2168/LMCS-8(2:10)2012zbMath1242.68136arXiv1205.2519OpenAlexW2043251334MaRDI QIDQ2895471
Femke van Raamsdonk, Cynthia Kop
Publication date: 3 July 2012
Published in: Logical Methods in Computer Science (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1205.2519
Related Items (3)
Unnamed Item ⋮ Multi-dimensional interpretations for termination of term rewriting ⋮ Tuple interpretations for termination of term rewriting
Uses Software
This page was built for publication: Dynamic Dependency Pairs for Algebraic Functional Systems
