On the complexity of deduction modulo leaf permutative equations (Q556681): Difference between revisions

@@ Property / cites work @@
+General algorithms for permutations in equational inference
+Normal rank
@@ Property / cites work @@
+Term Rewriting and All That
@@ Property / cites work: Term Rewriting and All That / rank @@
+Normal rank
@@ Property / cites work @@
+Q4871775
@@ Property / cites work: Q4871775 / rank @@
+Normal rank
@@ Property / cites work @@
+Random Graph Isomorphism
@@ Property / cites work: Random Graph Isomorphism / rank @@
+Normal rank
@@ Property / cites work @@
+LEAN: An intermediate language based on graph rewriting
+Normal rank
@@ Property / cites work @@
+On leaf permutative theories and occurrence permutation groups
+Normal rank
@@ Property / cites work @@
+Q3408147
@@ Property / cites work: Q3408147 / rank @@
+Normal rank
@@ Property / cites work @@
+Automated Reasoning
@@ Property / cites work: Automated Reasoning / rank @@
+Normal rank
@@ Property / cites work @@
+Fundamental algorithms for permutation groups
@@ Property / cites work: Fundamental algorithms for permutation groups / rank @@
+Normal rank
@@ Property / cites work @@
+Q3912839
@@ Property / cites work: Q3912839 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4198056
@@ Property / cites work: Q4198056 / rank @@
+Normal rank
@@ Property / cites work @@
+Permutation group algorithms based on partitions. I: Theory and algorithms
+Normal rank
@@ Property / cites work @@
+Q4219291
@@ Property / cites work: Q4219291 / rank @@
+Normal rank
@@ Property / cites work @@
+A Unification Algorithm for Associative-Commutative Functions
+Normal rank