Simplifying Algebraic Functional Systems (Q3014941): Difference between revisions

@@ Property / cites work @@
+The Computability Path Ordering: The End of a Quest
+Normal rank
@@ Property / cites work @@
+Uncurrying for Termination
@@ Property / cites work: Uncurrying for Termination / rank @@
+Normal rank
@@ Property / cites work @@
+Confluence of curried term-rewriting systems
@@ Property / cites work: Confluence of curried term-rewriting systems / rank @@
+Normal rank
@@ Property / cites work @@
+Comparing curried and uncurried rewriting
@@ Property / cites work: Comparing curried and uncurried rewriting / rank @@
+Normal rank
@@ Property / cites work @@
+Higher Order Dependency Pairs for Algebraic Functional Systems
+Normal rank