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

@@ 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-004-6244-2
+Normal rank
@@ Property / OpenAlex ID @@
+W2020743356
@@ Property / OpenAlex ID: W2020743356 / rank @@
+Normal rank
@@ 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
@@ links / mardi / name / links / mardi / name @@
+Publication:556681