A Rewriting Approach to the Combination of Data Structures with Bridging Theories (Q2964468): Difference between revisions

@@ Property / cites work @@
+New results on rewrite-based satisfiability procedures
+Normal rank
@@ Property / cites work @@
+A rewriting approach to satisfiability procedures.
+Normal rank
@@ Property / cites work @@
+Connecting many-sorted theories
@@ Property / cites work: Connecting many-sorted theories / rank @@
+Normal rank
@@ Property / cites work @@
+Term Rewriting and All That
@@ Property / cites work: Term Rewriting and All That / rank @@
+Normal rank
@@ Property / cites work @@
+Rewrite-based Equational Theorem Proving with Selection and Simplification
+Normal rank
@@ Property / cites work @@
+Q5309032
@@ Property / cites work: Q5309032 / rank @@
+Normal rank
@@ Property / cites work @@
+Hierarchic Superposition with Weak Abstraction
@@ Property / cites work: Hierarchic Superposition with Weak Abstraction / rank @@
+Normal rank
@@ Property / cites work @@
+A Gentle Non-disjoint Combination of Satisfiability Procedures
+Normal rank
@@ Property / cites work @@
+A Polite Non-Disjoint Combination Method: Theories with Bridging Functions Revisited
+Normal rank
@@ Property / cites work @@
+Combinations of Theories for Decidable Fragments of First-Order Logic
+Normal rank
@@ Property / cites work @@
+Model-theoretic methods in combined constraint satisfiability
+Normal rank
@@ Property / cites work @@
+Polite Theories Revisited
@@ Property / cites work: Polite Theories Revisited / rank @@
+Normal rank
@@ Property / cites work @@
+Combinable Extensions of Abelian Groups
@@ Property / cites work: Combinable Extensions of Abelian Groups / rank @@
+Normal rank
@@ Property / cites work @@
+Combining Satisfiability Procedures for Unions of Theories with a Shared Counting Operator
+Normal rank
@@ Property / cites work @@
+Frontiers of Combining Systems
@@ Property / cites work: Frontiers of Combining Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Locality Results for Certain Extensions of Theories with Bridging Functions
+Normal rank
@@ Property / cites work @@
+Decision procedures for algebraic data types with abstractions
+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 @@
+Combination of convex theories: modularity, deduction completeness, and explanation
+Normal rank
@@ Property / cites work @@
+Decision procedures for term algebras with integer constraints
+Normal rank