Combining Non-Stably Infinite Theories (Q4916220): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+A New approach for combining decision procedures for the word problem, and its connection to the Nelson-Oppen combination method
+Normal rank
@@ Property / cites work @@
+Quantifier Elimination and Provers Integration
@@ Property / cites work: Quantifier Elimination and Provers Integration / rank @@
+Normal rank
@@ Property / cites work @@
+Q4336034
@@ Property / cites work: Q4336034 / 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 @@
+Fast Decision Procedures Based on Congruence Closure
+Normal rank
@@ Property / cites work @@
+Complexity, convexity and combinations of theories
+Normal rank
@@ Property / cites work @@
+\(T\)-theorem proving. I
@@ Property / cites work: \(T\)-theorem proving. I / rank @@
+Normal rank
@@ Property / cites work @@
+Q4804919
@@ Property / cites work: Q4804919 / rank @@
+Normal rank
@@ Property / cites work @@
+Cooperation of background reasoners in theory reasoning by residue sharing
+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 Non-Stably Infinite Theories
@@ Property / cites work: Combining Non-Stably Infinite Theories / rank @@
+Normal rank
@@ Property / cites work @@
+Q4809072
@@ Property / cites work: Q4809072 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4737128
@@ Property / cites work: Q4737128 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4412868
@@ Property / cites work: Q4412868 / rank @@
+Normal rank