Congruence Closure of Compressed Terms in Polynomial Time (Q3172897): Difference between revisions

@@ Property / cites work @@
+Term Rewriting and All That
@@ Property / cites work: Term Rewriting and All That / rank @@
+Normal rank
@@ Property / cites work @@
+Database Programming Languages
@@ Property / cites work: Database Programming Languages / rank @@
+Normal rank
@@ Property / cites work @@
+Variations on the Common Subexpression Problem
@@ Property / cites work: Variations on the Common Subexpression Problem / rank @@
+Normal rank
@@ Property / cites work @@
+An algorithm for finding canonical sets of ground rewrite rules in polynomial time
+Normal rank
@@ Property / cites work @@
+Q4198056
@@ Property / cites work: Q4198056 / rank @@
+Normal rank
@@ Property / cites work @@
+Unification and matching on compressed terms
@@ Property / cites work: Unification and matching on compressed terms / rank @@
+Normal rank
@@ Property / cites work @@
+First-Order Unification on Compressed Terms
@@ Property / cites work: First-Order Unification on Compressed Terms / rank @@
+Normal rank
@@ Property / cites work @@
+Bounded Second-Order Unification Is NP-Complete
@@ Property / cites work: Bounded Second-Order Unification Is NP-Complete / rank @@
+Normal rank
@@ Property / cites work @@
+Stratified Context Unification Is NP-Complete
@@ Property / cites work: Stratified Context Unification Is NP-Complete / rank @@
+Normal rank
@@ Property / cites work @@
+On the complexity of Bounded Second-Order Unification and Stratified Context Unification
+Normal rank
@@ Property / cites work @@
+Processing Compressed Texts: A Tractability Border
+Normal rank
@@ Property / cites work @@
+Word Problems and Membership Problems on Compressed Words
+Normal rank
@@ Property / cites work @@
+Parameter Reduction in Grammar-Compressed Trees
@@ Property / cites work: Parameter Reduction in Grammar-Compressed Trees / rank @@
+Normal rank
@@ Property / cites work @@
+Fast Decision Procedures Based on Congruence Closure
+Normal rank
@@ Property / cites work @@
+Solving SAT and SAT Modulo Theories
@@ Property / cites work: Solving SAT and SAT Modulo Theories / rank @@
+Normal rank
@@ Property / cites work @@
+Q4941166
@@ Property / cites work: Q4941166 / rank @@
+Normal rank
@@ Property / cites work @@
+An algorithm for reasoning about equality
@@ Property / cites work: An algorithm for reasoning about equality / rank @@
+Normal rank
@@ Property / cites work @@
+A fast algorithm for generating reduced ground rewriting systems from a set of ground equations
+Normal rank
@@ Property / cites work @@
+A universal algorithm for sequential data compression
+Normal rank