Ground confluence and strong commutation modulo alpha-equivalence in nominal rewriting (Q6109479): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-031-17715-6_17
+Normal rank
@@ Property / OpenAlex ID @@
+W4312716460
@@ Property / OpenAlex ID: W4312716460 / 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 @@
+Term Rewriting and All That
@@ Property / cites work: Term Rewriting and All That / 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 @@
+Q4722037
@@ Property / cites work: Q4722037 / rank @@
+Normal rank
@@ Property / cites work @@
+Confluence and commutation for nominal rewriting systems with atom-variables
+Normal rank
@@ Property / cites work @@
+Parallel closure theorem for left-linear nominal rewriting systems
+Normal rank
@@ Property / cites work @@
+Rewriting with generalized nominal unification
@@ Property / cites work: Rewriting with generalized nominal unification / 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 @@
+Nominal unification
@@ Property / cites work: Nominal unification / rank @@
+Normal rank
@@ Property / cites work @@
+A formalised first-order confluence proof for the \(\lambda\)-calculus using one-sorted variable names.
+Normal rank