scientific article; zbMATH DE number 2090060
From MaRDI portal
Publication:4808733
zbMATH Open1045.03015MaRDI QIDQ4808733FDOQ4808733
Authors: Natarajan Shankar, Harald Rueß 
Publication date: 12 August 2004
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2378/23780001.htm
Title of this publication is not available (Why is that?)
Recommendations
- On Shostak's decision procedure for combinations of theories
- Mixed theories
- Theory combination: beyond equality sharing
- Deciding Combinations of Theories
- Automata, Languages and Programming
- Combining theories with shared set operations
- Combining nonstably infinite theories
- scientific article; zbMATH DE number 67861
- Being careful about theory combination
- scientific article; zbMATH DE number 1346495
Grammars and rewriting systems (68Q42) Decidability of theories and sets of sentences (03B25) Mechanization of proofs and logical operations (03B35)
Cited In (26)
- Canonization for disjoint unions of theories
- Being careful about theory combination
- Generalizing DPLL and satisfiability for equalities
- Efficient theory combination via Boolean search
- Decidable \({\exists}^*{\forall}^*\) first-order fragments of linear rational arithmetic with uninterpreted predicates
- Combining Proof-Producing Decision Procedures
- Theoretical Aspects of Computing - ICTAC 2004
- Title not available (Why is that?)
- Title not available (Why is that?)
- Programmed strategies for program verification
- Combining theories: the Ackerman and guarded fragments
- Strategies for combining decision procedures
- Combinable Extensions of Abelian Groups
- On Shostak's decision procedure for combinations of theories
- Combining decision procedures.
- Combination of disjoint theories: beyond decidability
- Zero, successor and equality in BDDs
- Combining non-stably infinite theories
- Building Extended Canonizers by Graph-Based Deduction
- Title not available (Why is that?)
- Title not available (Why is that?)
- Delayed theory combination vs. Nelson-Oppen for satisfiability modulo theories: a comparative analysis
- Combination of convex theories: modularity, deduction completeness, and explanation
- Canonization for disjoint unions of theories.
- Logics in Artificial Intelligence
- Deciding Combinations of Theories
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4808733)
