Non-structural subtype entailment in automata theory (Q1887157): Difference between revisions

@@ Property / cites work @@
+Unification in the union of disjoint equational theories: Combining decision procedures
+Normal rank
@@ Property / cites work @@
+Undecidability of the positive \(\forall\exists^ 3\)-theory of a free semigroup
+Normal rank
@@ Property / cites work @@
+Q4222755
@@ Property / cites work: Q4222755 / rank @@
+Normal rank
@@ Property / cites work @@
+Type inference with subtypes
@@ Property / cites work: Type inference with subtypes / rank @@
+Normal rank
@@ Property / cites work @@
+Efficient inference of partial types
@@ Property / cites work: Efficient inference of partial types / rank @@
+Normal rank
@@ Property / cites work @@
+Efficient recursive subtyping
@@ Property / cites work: Efficient recursive subtyping / rank @@
+Normal rank
@@ Property / cites work @@
+Q4159542
@@ Property / cites work: Q4159542 / rank @@
+Normal rank
@@ Property / cites work @@
+Type inference with simple subtypes
@@ Property / cites work: Type inference with simple subtypes / rank @@
+Normal rank
@@ Property / cites work @@
+Q4936124
@@ Property / cites work: Q4936124 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4501588
@@ Property / cites work: Q4501588 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5714449
@@ Property / cites work: Q5714449 / rank @@
+Normal rank
@@ Property / cites work @@
+Type inference with non-structural subtyping
@@ Property / cites work: Type inference with non-structural subtyping / rank @@
+Normal rank
@@ Property / cites work @@
+Simplifying subtyping constraints
@@ Property / cites work: Simplifying subtyping constraints / rank @@
+Normal rank
@@ Property / cites work @@
+A framework for type inference with subtyping
@@ Property / cites work: A framework for type inference with subtyping / rank @@
+Normal rank
@@ Property / cites work @@
+Makanin's algorithm for word equations-two improvements and a generalization
+Normal rank
@@ Property / cites work @@
+The first-order theory of subtyping constraints
@@ Property / cites work: The first-order theory of subtyping constraints / rank @@
+Normal rank
@@ Property / cites work @@
+Q4508312
@@ Property / cites work: Q4508312 / rank @@
+Normal rank
@@ Property / cites work @@
+DECIDABILITY OF THE POSITIVE THEORY OF A FREE COUNTABLY GENERATED SEMIGROUP
+Normal rank