Dominance constraints in stratified context unification (Q845917): Difference between revisions

@@ Property / cites work @@
+Q5501243
@@ Property / cites work: Q5501243 / rank @@
+Normal rank
@@ Property / cites work @@
+Completion of rewrite systems with membership constraints
+Normal rank
@@ Property / cites work @@
+The constraint language for lambda structures
@@ Property / cites work: The constraint language for lambda structures / rank @@
+Normal rank
@@ Property / cites work @@
+Conjunctive queries over trees
@@ Property / cites work: Conjunctive queries over trees / rank @@
+Normal rank
@@ Property / cites work @@
+Q2762872
@@ Property / cites work: Q2762872 / rank @@
+Normal rank
@@ Property / cites work @@
+Linear second-order unification
@@ Property / cites work: Linear second-order unification / rank @@
+Normal rank
@@ Property / cites work @@
+Logics for Unranked Trees: An Overview
@@ Property / cites work: Logics for Unranked Trees: An Overview / rank @@
+Normal rank
@@ Property / cites work @@
+Automated Deduction – CADE-20
@@ Property / cites work: Automated Deduction – CADE-20 / 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 @@
+Q4159542
@@ Property / cites work: Q4159542 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2762878
@@ Property / cites work: Q2762878 / rank @@
+Normal rank
@@ Property / cites work @@
+On rewrite constraints and context unification
@@ Property / cites work: On rewrite constraints and context unification / rank @@
+Normal rank
@@ Property / cites work @@
+A Decision Algorithm for Stratified Context Unification
+Normal rank
@@ Property / cites work @@
+Solvability of context equations with two context variables is decidable
+Normal rank
@@ Property / cites work @@
+Q3838760
@@ Property / cites work: Q3838760 / rank @@
+Normal rank
@@ Property / cites work @@
+Generalized finite automata theory with an application to a decision problem of second-order logic
+Normal rank