Confluence and commutation for nominal rewriting systems with atom-variables (Q2119102): Difference between revisions

@@ Property / cites work @@
+Nominal Confluence Tool
@@ Property / cites work: Nominal Confluence Tool / rank @@
+Normal rank
@@ Property / cites work @@
+Checking overlaps of nominal rewriting rules
@@ Property / cites work: Checking overlaps of nominal rewriting rules / rank @@
+Normal rank
@@ Property / cites work @@
+Nominal rewriting
@@ Property / cites work: Nominal rewriting / rank @@
+Normal rank
@@ Property / cites work @@
+A new approach to abstract syntax with variable binding
+Normal rank
@@ Property / cites work @@
+Confluence without termination via parallel critical pairs
+Normal rank
@@ Property / cites work @@
+Confluent Reductions: Abstract Properties and Applications to Term Rewriting Systems
+Normal rank
@@ Property / cites work @@
+Parallel closure theorem for left-linear nominal rewriting systems
+Normal rank
@@ Property / cites work @@
+Q5581665
@@ Property / cites work: Q5581665 / rank @@
+Normal rank
@@ Property / cites work @@
+Rewriting with generalized nominal unification
@@ Property / cites work: Rewriting with generalized nominal unification / rank @@
+Normal rank
@@ Property / cites work @@
+Q2978530
@@ Property / cites work: Q2978530 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2783416
@@ Property / cites work: Q2783416 / rank @@
+Normal rank
@@ Property / cites work @@
+Nominal logic, a first order theory of names and binding
+Normal rank
@@ Property / cites work @@
+Tree-Manipulating Systems and Church-Rosser Theorems
+Normal rank
@@ Property / cites work @@
+Nominal unification with atom-variables
@@ Property / cites work: Nominal unification with atom-variables / rank @@
+Normal rank
@@ Property / cites work @@
+Confluence of orthogonal nominal rewriting systems revisited
+Normal rank
@@ Property / cites work @@
+On the Church-Rosser property for the direct sum of term rewriting systems
+Normal rank
@@ Property / cites work @@
+Q3830525
@@ Property / cites work: Q3830525 / rank @@
+Normal rank
@@ Property / cites work @@
+How to prove equivalence of term rewriting systems without induction
+Normal rank
@@ Property / cites work @@
+Nominal unification
@@ Property / cites work: Nominal unification / rank @@
+Normal rank