Decreasing diagrams and relative termination (Q438562): Difference between revisions

@@ Property / Mathematics Subject Classification ID @@
+Q42
@@ Property / Mathematics Subject Classification ID: 68Q42 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+T15
@@ Property / Mathematics Subject Classification ID: 68T15 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+6062058
@@ Property / zbMATH DE Number: 6062058 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+confluence
@@ Property / zbMATH Keywords: confluence / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+decreasing diagrams
@@ Property / zbMATH Keywords: decreasing diagrams / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+relative termination
@@ Property / zbMATH Keywords: relative termination / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+term rewriting
@@ Property / zbMATH Keywords: term rewriting / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Isabelle/HOL
@@ Property / describes a project that uses: Isabelle/HOL / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Tyrolean
@@ Property / describes a project that uses: Tyrolean / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/s10817-011-9238-x
+Normal rank
@@ Property / OpenAlex ID @@
+W1997678912
@@ Property / OpenAlex ID: W1997678912 / rank @@
+Normal rank
@@ Property / cites work @@
+Automated Confluence Proof by Decreasing Diagrams based on Rule-Labelling.
+Normal rank
@@ Property / cites work @@
+Q4520528
@@ Property / cites work: Q4520528 / rank @@
+Normal rank
@@ Property / cites work @@
+A Reduction-Preserving Completion for Proving Confluence of Non-Terminating Term Rewriting Systems
+Normal rank
@@ Property / cites work @@
+Proving Confluence of Term Rewriting Systems Automatically
+Normal rank
@@ Property / cites work @@
+Solving Partial Order Constraints for LPO Termination
+Normal rank
@@ Property / cites work @@
+Combinatory logic. Vol. II
@@ Property / cites work: Combinatory logic. Vol. II / rank @@
+Normal rank
@@ Property / cites work @@
+Matrix interpretations for proving termination of term rewriting
+Normal rank
@@ Property / cites work @@
+Q4253320
@@ Property / cites work: Q4253320 / rank @@
+Normal rank
@@ Property / cites work @@
+On termination and confluence properties of disjoint and constructor-sharing conditional rewrite systems
+Normal rank
@@ Property / cites work @@
+Generalizing Newman’s Lemma for Left-Linear Rewrite Systems
+Normal rank
@@ Property / cites work @@
+Decreasing Diagrams and Relative Termination
@@ Property / cites work: Decreasing Diagrams and Relative Termination / rank @@
+Normal rank
@@ Property / cites work @@
+Confluent Reductions: Abstract Properties and Applications to Term Rewriting Systems
+Normal rank
@@ Property / cites work @@
+Q5581665
@@ Property / cites work: Q5581665 / rank @@
+Normal rank
@@ Property / cites work @@
+Higher-order rewrite systems and their confluence
@@ Property / cites work: Higher-order rewrite systems and their confluence / rank @@
+Normal rank
@@ Property / cites work @@
+Isabelle/HOL. A proof assistant for higher-order logic
+Normal rank
@@ Property / cites work @@
+Modular properties of composable term rewriting systems
+Normal rank
@@ Property / cites work @@
+Q2783416
@@ Property / cites work: Q2783416 / rank @@
+Normal rank
@@ Property / cites work @@
+Confluence by decreasing diagrams
@@ Property / cites work: Confluence by decreasing diagrams / rank @@
+Normal rank
@@ Property / cites work @@
+Developing developments
@@ Property / cites work: Developing developments / rank @@
+Normal rank
@@ Property / cites work @@
+Confluence by Decreasing Diagrams
@@ Property / cites work: Confluence by Decreasing Diagrams / rank @@
+Normal rank
@@ Property / cites work @@
+Tree-Manipulating Systems and Church-Rosser Theorems
+Normal rank
@@ Property / cites work @@
+Labelings for Decreasing Diagrams.
@@ Property / cites work: Labelings for Decreasing Diagrams. / rank @@
+Normal rank
@@ Property / cites work @@
+KBO orientability
@@ Property / cites work: KBO orientability / rank @@
+Normal rank
@@ Property / cites work @@
+Modular Complexity Analysis via Relative Complexity
+Normal rank
@@ Property / cites work @@
+Satisfiability of Non-linear (Ir)rational Arithmetic
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:438562