Publication:4808733
From MaRDI portal
zbMath1045.03015MaRDI QIDQ4808733
Natarajan Shankar, Harald Ruess
Publication date: 12 August 2004
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2378/23780001.htm
03B25: Decidability of theories and sets of sentences
03B35: Mechanization of proofs and logical operations
68Q42: Grammars and rewriting systems
Related Items
Delayed theory combination vs. Nelson-Oppen for satisfiability modulo theories: a comparative analysis, Combination of convex theories: modularity, deduction completeness, and explanation, Zero, successor and equality in BDDs, Strategies for combining decision procedures, Efficient theory combination via Boolean search, Canonization for disjoint unions of theories, Generalizing DPLL and satisfiability for equalities, Programmed Strategies for Program Verification