Combinations of Theories for Decidable Fragments of First-Order Logic (Q3655205): Difference between revisions

@@ Property / cites work @@
+The B-Book
@@ Property / cites work: The B-Book / rank @@
+Normal rank
@@ Property / cites work @@
+Q2751356
@@ Property / cites work: Q2751356 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5691140
@@ Property / cites work: Q5691140 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3905252
@@ Property / cites work: Q3905252 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4052071
@@ Property / cites work: Q4052071 / rank @@
+Normal rank
@@ Property / cites work @@
+Combinations of Theories for Decidable Fragments of First-Order Logic
+Normal rank
@@ Property / cites work @@
+Q4417916
@@ Property / cites work: Q4417916 / rank @@
+Normal rank
@@ Property / cites work @@
+On the Decision Problem for Two-Variable First-Order Logic
+Normal rank
@@ Property / cites work @@
+Q4934623
@@ Property / cites work: Q4934623 / rank @@
+Normal rank
@@ Property / cites work @@
+Simplification by Cooperating Decision Procedures
@@ Property / cites work: Simplification by Cooperating Decision Procedures / rank @@
+Normal rank
@@ Property / cites work @@
+Q3150300
@@ Property / cites work: Q3150300 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4539621
@@ Property / cites work: Q4539621 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5486135
@@ Property / cites work: Q5486135 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4385439
@@ Property / cites work: Q4385439 / rank @@
+Normal rank
@@ Property / cites work @@
+Unions of non-disjoint theories and combinations of satisfiability procedures
+Normal rank
@@ Property / cites work @@
+Combining nonstably infinite theories
@@ Property / cites work: Combining nonstably infinite theories / rank @@
+Normal rank
@@ Property / cites work @@
+Combining Theories with Shared Set Operations
@@ Property / cites work: Combining Theories with Shared Set Operations / rank @@
+Normal rank