The Computability Path Ordering: The End of a Quest (Q3540166): Difference between revisions

@@ Property / cites work @@
+Termination checking with types
@@ Property / cites work: Termination checking with types / rank @@
+Normal rank
@@ Property / cites work @@
+Termination of term rewriting using dependency pairs
+Normal rank
@@ Property / cites work @@
+Adding algebraic rewriting to the calculus of constructions : Strong normalization preserved
+Normal rank
@@ Property / cites work @@
+Modularity of strong normalization in the   algebraic-λ-cube
+Normal rank
@@ Property / cites work @@
+Type-based termination of recursive definitions
@@ Property / cites work: Type-based termination of recursive definitions / rank @@
+Normal rank
@@ Property / cites work @@
+The size-change principle for program termination
@@ Property / cites work: The size-change principle for program termination / rank @@
+Normal rank
@@ Property / cites work @@
+Definitions by rewriting in the Calculus of Constructions
+Normal rank
@@ Property / cites work @@
+Q2723890
@@ Property / cites work: Q2723890 / rank @@
+Normal rank
@@ Property / cites work @@
+Rewriting Techniques and Applications
@@ Property / cites work: Rewriting Techniques and Applications / rank @@
+Normal rank
@@ Property / cites work @@
+Q4681362
@@ Property / cites work: Q4681362 / rank @@
+Normal rank
@@ Property / cites work @@
+Computability Closure: Ten Years Later
@@ Property / cites work: Computability Closure: Ten Years Later / rank @@
+Normal rank
@@ Property / cites work @@
+Inductive-data-type systems
@@ Property / cites work: Inductive-data-type systems / rank @@
+Normal rank
@@ Property / cites work @@
+Higher-Order Termination: From Kruskal to Computability
+Normal rank
@@ Property / cites work @@
+HORPO with Computability Closure: A Reconstruction
+Normal rank
@@ Property / cites work @@
+Rewriting Techniques and Applications
@@ Property / cites work: Rewriting Techniques and Applications / rank @@
+Normal rank
@@ Property / cites work @@
+A Monotonic Higher-Order Semantic Path Ordering
@@ Property / cites work: A Monotonic Higher-Order Semantic Path Ordering / rank @@
+Normal rank
@@ Property / cites work @@
+Orderings and Constraints: Theory and Practice of Proving Termination
+Normal rank
@@ Property / cites work @@
+Calculating sized types
@@ Property / cites work: Calculating sized types / rank @@
+Normal rank
@@ Property / cites work @@
+Orderings for term-rewriting systems
@@ Property / cites work: Orderings for term-rewriting systems / rank @@
+Normal rank
@@ Property / cites work @@
+Adding algebraic rewriting to the untyped lambda calculus
+Normal rank
@@ Property / cites work @@
+Automated Termination Analysis for Haskell: From Term Rewriting to Programming Languages
+Normal rank
@@ Property / cites work @@
+Logic for Programming, Artificial Intelligence, and Reasoning
+Normal rank
@@ Property / cites work @@
+Q4783327
@@ Property / cites work: Q4783327 / rank @@
+Normal rank
@@ Property / cites work @@
+Abstract data type systems
@@ Property / cites work: Abstract data type systems / rank @@
+Normal rank
@@ Property / cites work @@
+Higher-Order Orderings for Normal Rewriting
@@ Property / cites work: Higher-Order Orderings for Normal Rewriting / rank @@
+Normal rank
@@ Property / cites work @@
+Rewrite orderings for higher-order terms in \(\eta\)-long \(\beta\)-normal form and the recursive path ordering
+Normal rank
@@ Property / cites work @@
+Polymorphic higher-order recursive path orderings
@@ Property / cites work: Polymorphic higher-order recursive path orderings / rank @@
+Normal rank
@@ Property / cites work @@
+On recursive path ordering
@@ Property / cites work: On recursive path ordering / rank @@
+Normal rank
@@ Property / cites work @@
+Termination of combined (rewrite and λ-calculus) systems
+Normal rank
@@ Property / cites work @@
+Q3127078
@@ Property / cites work: Q3127078 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3024848
@@ Property / cites work: Q3024848 / rank @@
+Normal rank
@@ Property / cites work @@
+Termination of rewriting in the Calculus of Constructions
+Normal rank
@@ Property / cites work @@
+Dependent types for program termination verification
+Normal rank