Generating Minimum Transitivity Constraints in P-time for Deciding Equality Logic (Q2864399): Difference between revisions

@@ Property / cites work @@
+Solvable cases of the decision problem
@@ Property / cites work: Solvable cases of the decision problem / rank @@
+Normal rank
@@ Property / cites work @@
+Q2754075
@@ Property / cites work: Q2754075 / rank @@
+Normal rank
@@ Property / cites work @@
+Computer Aided Verification
@@ Property / cites work: Computer Aided Verification / rank @@
+Normal rank
@@ Property / cites work @@
+Computer Aided Verification
@@ Property / cites work: Computer Aided Verification / rank @@
+Normal rank
@@ Property / cites work @@
+The small model property: How small can it be?
@@ Property / cites work: The small model property: How small can it be? / rank @@
+Normal rank