On Hierarchical Reasoning in Combinations of Theories (Q5747749): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W1484186647
@@ Property / OpenAlex ID: W1484186647 / rank @@
+Normal rank
@@ Property / cites work @@
+Deciding the word problem in the union of equational theories.
+Normal rank
@@ Property / cites work @@
+Automated complexity analysis based on ordered resolution
+Normal rank
@@ Property / cites work @@
+Verification, Model Checking, and Abstract Interpretation
+Normal rank
@@ Property / cites work @@
+Polynomial Time Uniform Word Problems
@@ Property / cites work: Polynomial Time Uniform Word Problems / rank @@
+Normal rank
@@ Property / cites work @@
+Model theory.
@@ Property / cites work: Model theory. / rank @@
+Normal rank
@@ Property / cites work @@
+Q2703808
@@ Property / cites work: Q2703808 / rank @@
+Normal rank
@@ Property / cites work @@
+Automated Reasoning
@@ Property / cites work: Automated Reasoning / rank @@
+Normal rank
@@ Property / cites work @@
+Model-theoretic methods in combined constraint satisfiability
+Normal rank
@@ Property / cites work @@
+Polynomial-time computation via local inference relations
+Normal rank
@@ Property / cites work @@
+Q4336034
@@ Property / cites work: Q4336034 / rank @@
+Normal rank
@@ Property / cites work @@
+On Local Reasoning in Verification
@@ Property / cites work: On Local Reasoning in Verification / rank @@
+Normal rank
@@ Property / cites work @@
+The metamathematics of algebraic systems. Collected papers: 1936-1967. Translated, edited, and provided with supplementary notes by Benjamin Franklin Wells III
+Normal rank
@@ Property / cites work @@
+Automatic recognition of tractability in inference relations
+Normal rank
@@ Property / cites work @@
+Computer Aided Verification
@@ Property / cites work: Computer Aided Verification / 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 @@
+Automated Deduction – CADE-20
@@ Property / cites work: Automated Deduction – CADE-20 / rank @@
+Normal rank
@@ Property / cites work @@
+Hierarchical and Modular Reasoning in Complex Theories: The Case of Local Theory Extensions
+Normal rank
@@ Property / cites work @@
+Q5446292
@@ Property / cites work: Q5446292 / 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 @@
+The complexity of linear problems in fields
@@ Property / cites work: The complexity of linear problems in fields / rank @@
+Normal rank
@@ Property / cites work @@
+Model-companions and definability in existentially complete structures
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:5747749