↓ Skip to main content

Functional and Constraint Logic Programming : 20th International Workshop, WFLP 2011, Odense, Denmark, July 19th, Proceedings

Overview of attention for book
Attention for Chapter 9: On Proving Termination of Constrained Term Rewrite Systems by Eliminating Edges from Dependency Graphs
Altmetric Badge

Citations

dimensions_citation
5 Dimensions

Readers on

mendeley
1 Mendeley