On the relationship of congruence closure and unification (Q1124338): Difference between revisions

@@ Property / cites work @@
+A parallel algorithm for the monadic unification problem
+Normal rank
@@ Property / cites work @@
+Assignment Commands with Array References
@@ Property / cites work: Assignment Commands with Array References / 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 @@
+On the sequential nature of unification
@@ Property / cites work: On the sequential nature of unification / rank @@
+Normal rank
@@ Property / cites work @@
+Parallel Algorithms for Term Matching
@@ Property / cites work: Parallel Algorithms for Term Matching / rank @@
+Normal rank
@@ Property / cites work @@
+Parallelism in random access machines
@@ Property / cites work: Parallelism in random access machines / rank @@
+Normal rank
@@ Property / cites work @@
+Q3339245
@@ Property / cites work: Q3339245 / rank @@
+Normal rank
@@ Property / cites work @@
+An Efficient Unification Algorithm
@@ Property / cites work: An Efficient Unification Algorithm / rank @@
+Normal rank
@@ Property / cites work @@
+Fast Decision Procedures Based on Congruence Closure
+Normal rank
@@ Property / cites work @@
+Reasoning About Recursively Defined Data Structures
+Normal rank
@@ Property / cites work @@
+Linear unification
@@ Property / cites work: Linear unification / rank @@
+Normal rank
@@ Property / cites work @@
+Q3783558
@@ Property / cites work: Q3783558 / rank @@
+Normal rank
@@ Property / cites work @@
+A Machine-Oriented Logic Based on the Resolution Principle
+Normal rank
@@ Property / cites work @@
+Tree-size bounded alternation
@@ Property / cites work: Tree-size bounded alternation / rank @@
+Normal rank
@@ Property / cites work @@
+Efficiency of a Good But Not Linear Set Union Algorithm
+Normal rank
@@ Property / cites work @@
+Generalized finite automata theory with an application to a decision problem of second-order logic
+Normal rank
@@ Property / cites work @@
+New Classes for Parallel Complexity: A Study of Unification and Other Complete Problems for P
+Normal rank