Many-sorted equivalence of shiny and strongly polite theories (Q682380): Difference between revisions

@@ Property / cites work @@
+Combining Theories: The Ackerman and Guarded Fragments
+Normal rank
@@ Property / cites work @@
+Revisiting the Equivalence of Shininess and Politeness
+Normal rank
@@ Property / cites work @@
+A Gentle Non-disjoint Combination of Satisfiability Procedures
+Normal rank
@@ Property / cites work @@
+Q4023642
@@ Property / cites work: Q4023642 / rank @@
+Normal rank
@@ Property / cites work @@
+Sorting and Selection in Posets
@@ Property / cites work: Sorting and Selection in Posets / rank @@
+Normal rank
@@ Property / cites work @@
+Q2703808
@@ Property / cites work: Q2703808 / rank @@
+Normal rank
@@ Property / cites work @@
+Combinations of Theories for Decidable Fragments of First-Order Logic
+Normal rank
@@ Property / cites work @@
+Polite Theories Revisited
@@ Property / cites work: Polite Theories Revisited / 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 @@
+Complexity, convexity and combinations of theories
+Normal rank
@@ Property / cites work @@
+Frontiers of Combining Systems
@@ Property / cites work: Frontiers of Combining Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q4385439
@@ Property / cites work: Q4385439 / rank @@
+Normal rank
@@ Property / cites work @@
+Combining nonstably infinite theories
@@ Property / cites work: Combining nonstably infinite theories / rank @@
+Normal rank