Solving equations with sequence variables and sequence functions (Q2457427): Difference between revisions

@@ Property / cites work @@
+Q4266517
@@ Property / cites work: Q4266517 / rank @@
+Normal rank
@@ Property / cites work @@
+Unification in the union of disjoint equational theories: Combining decision procedures
+Normal rank
@@ Property / cites work @@
+Q2751360
@@ Property / cites work: Q2751360 / rank @@
+Normal rank
@@ Property / cites work @@
+SET-VAR
@@ Property / cites work: SET-VAR / rank @@
+Normal rank
@@ Property / cites work @@
+A tight, practical integration of relations and functions.
+Normal rank
@@ Property / cites work @@
+Q2751543
@@ Property / cites work: Q2751543 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4259965
@@ Property / cites work: Q4259965 / rank @@
+Normal rank
@@ Property / cites work @@
+Minimal and complete word unification
@@ Property / cites work: Minimal and complete word unification / rank @@
+Normal rank
@@ Property / cites work @@
+Q4428306
@@ Property / cites work: Q4428306 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4808726
@@ Property / cites work: Q4808726 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4447245
@@ Property / cites work: Q4447245 / rank @@
+Normal rank
@@ Property / cites work @@
+Artificial Intelligence and Symbolic Computation
@@ Property / cites work: Artificial Intelligence and Symbolic Computation / rank @@
+Normal rank
@@ Property / cites work @@
+Mathematical Knowledge Management
@@ Property / cites work: Mathematical Knowledge Management / rank @@
+Normal rank
@@ Property / cites work @@
+THE PROBLEM OF SOLVABILITY OF EQUATIONS IN A FREE SEMIGROUP
+Normal rank
@@ Property / cites work @@
+Q5678447
@@ Property / cites work: Q5678447 / rank @@
+Normal rank
@@ Property / cites work @@
+A Machine-Oriented Logic Based on the Resolution Principle
+Normal rank
@@ Property / cites work @@
+Q3838764
@@ Property / cites work: Q3838764 / rank @@
+Normal rank
@@ Property / cites work @@
+Word unification and transformation of generalized equations
+Normal rank