Combining sets with cardinals (Q812443): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1007/s10817-005-3075-8
+Normal rank
@@ Property / OpenAlex ID @@
+W2017184931
@@ Property / OpenAlex ID: W2017184931 / rank @@
+Normal rank
@@ Property / cites work @@
+Introduction to set constraint-based program analysis
+Normal rank
@@ Property / cites work @@
+Q3475242
@@ Property / cites work: Q3475242 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4281682
@@ Property / cites work: Q4281682 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3999861
@@ Property / cites work: Q3999861 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2740887
@@ Property / cites work: Q2740887 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2721193
@@ Property / cites work: Q2721193 / rank @@
+Normal rank
@@ Property / cites work @@
+The first order properties of products of algebraic systems
+Normal rank
@@ Property / cites work @@
+Decision procedures for elementary sublanguages of set theory. I. Multi-level syllogistic and some extensions
+Normal rank
@@ Property / cites work @@
+Quantifier Elimination and Provers Integration
@@ Property / cites work: Quantifier Elimination and Provers Integration / rank @@
+Normal rank
@@ Property / cites work @@
+Verification, Model Checking, and Abstract Interpretation
+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 @@
+Cooperation of background reasoners in theory reasoning by residue sharing
+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 @@
+Verification: Theory and Practice
@@ Property / cites work: Verification: Theory and Practice / rank @@
+Normal rank