Q5094148 (Q5094148): Difference between revisions

@@ Property / cites work @@
+Termination of constructor systems
@@ Property / cites work: Termination of constructor systems / rank @@
+Normal rank
@@ Property / cites work @@
+Termination of term rewriting using dependency pairs
+Normal rank
@@ Property / cites work @@
+Termination by absence of infinite chains of dependency pairs
+Normal rank
@@ Property / cites work @@
+Modularity of strong normalization in the   algebraic-λ-cube
+Normal rank
@@ Property / cites work @@
+Q5089009
@@ Property / cites work: Q5089009 / rank @@
+Normal rank
@@ Property / cites work @@
+Inductive-data-type systems
@@ Property / cites work: Inductive-data-type systems / rank @@
+Normal rank
@@ Property / cites work @@
+The computability path ordering
@@ Property / cites work: The computability path ordering / rank @@
+Normal rank
@@ Property / cites work @@
+Q2723890
@@ Property / cites work: Q2723890 / rank @@
+Normal rank
@@ Property / cites work @@
+Definitions by rewriting in the Calculus of Constructions
+Normal rank
@@ Property / cites work @@
+Termination of rewrite relations on \(\lambda\)-terms based on Girard's notion of reducibility
+Normal rank
@@ Property / cites work @@
+Polymorphic rewriting conserves algebraic strong normalization
+Normal rank
@@ Property / cites work @@
+Associated type synonyms
@@ Property / cites work: Associated type synonyms / rank @@
+Normal rank
@@ Property / cites work @@
+Associated types with class
@@ Property / cites work: Associated types with class / rank @@
+Normal rank
@@ Property / cites work @@
+Second-Order Equational Logic (Extended Abstract)
@@ Property / cites work: Second-Order Equational Logic (Extended Abstract) / rank @@
+Normal rank
@@ Property / cites work @@
+Multiversal Polymorphic Algebraic Theories: Syntax, Semantics, Translations, and Equational Logic
+Normal rank
@@ Property / cites work @@
+Harnessing First Order Termination Provers Using Higher Order Dependency Pairs
+Normal rank
@@ Property / cites work @@
+Second-Order Algebraic Theories
@@ Property / cites work: Second-Order Algebraic Theories / rank @@
+Normal rank
@@ Property / cites work @@
+Substitution, jumps, and algebraic effects
@@ Property / cites work: Substitution, jumps, and algebraic effects / rank @@
+Normal rank
@@ Property / cites work @@
+Modular termination proofs for rewriting using dependency pairs
+Normal rank
@@ Property / cites work @@
+Generalized sufficient conditions for modular termination of rewriting
+Normal rank
@@ Property / cites work @@
+Programming Languages and Systems
@@ Property / cites work: Programming Languages and Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Term Rewriting and Applications
@@ Property / cites work: Term Rewriting and Applications / rank @@
+Normal rank
@@ Property / cites work @@
+Semantic Labelling for Proving Termination of Combinatory Reduction Systems
+Normal rank
@@ Property / cites work @@
+Polymorphic rewrite rules: confluence, type inference, and instance validation
+Normal rank
@@ Property / cites work @@
+How to prove decidability of equational theories with second-order computation analyser SOL
+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 @@
+Normal Higher-Order Termination
@@ Property / cites work: Normal Higher-Order Termination / rank @@
+Normal rank
@@ Property / cites work @@
+Handlers in action
@@ Property / cites work: Handlers in action / rank @@
+Normal rank
@@ Property / cites work @@
+Modularity of simple termination of term rewriting systems with shared constructors
+Normal rank
@@ Property / cites work @@
+Q5089012
@@ Property / cites work: Q5089012 / rank @@
+Normal rank
@@ Property / cites work @@
+Call-by-push-value: Decomposing call-by-value and call-by-name
+Normal rank
@@ Property / cites work @@
+A Logic Programming Language with Lambda-Abstraction, Function Variables, and Simple Unification
+Normal rank
@@ Property / cites work @@
+Transforming termination by self-labelling
@@ Property / cites work: Transforming termination by self-labelling / rank @@
+Normal rank
@@ Property / cites work @@
+On the modularity of termination of term rewriting systems
+Normal rank
@@ Property / cites work @@
+Q3127078
@@ Property / cites work: Q3127078 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4738236
@@ Property / cites work: Q4738236 / rank @@
+Normal rank
@@ Property / cites work @@
+Handling Algebraic Effects
@@ Property / cites work: Handling Algebraic Effects / rank @@
+Normal rank
@@ Property / cites work @@
+Modular proofs for completeness of hierarchical term rewriting systems
+Normal rank
@@ Property / cites work @@
+Two Cotensors in One: Presentations of Algebraic Theories for Local State and Fresh Names
+Normal rank
@@ Property / cites work @@
+An Algebraic Presentation of Predicate Logic
@@ Property / cites work: An Algebraic Presentation of Predicate Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Instances of Computational Effects: An Algebraic Perspective
+Normal rank
@@ Property / cites work @@
+Algebraic Effects, Linearity, and Quantum Programming Languages
+Normal rank
@@ Property / cites work @@
+Termination for direct sums of left-linear complete term rewriting systems
+Normal rank
@@ Property / cites work @@
+On the Church-Rosser property for the direct sum of term rewriting systems
+Normal rank
@@ Property / cites work @@
+Counterexamples to termination for the direct sum of term rewriting systems
+Normal rank
@@ Property / cites work @@
+Q4847000
@@ Property / cites work: Q4847000 / rank @@
+Normal rank