The following pages link to Automated Deduction – CADE-20 (Q5394615):
Displayed 31 items.
- On deciding satisfiability by theorem proving with speculative inferences (Q438533) (← links)
- Parametrized invariance for infinite state processes (Q493122) (← links)
- Constraint solving for interpolation (Q604394) (← links)
- Symbol elimination and applications to parametric entailment problems (Q831921) (← links)
- Theory decision by decomposition (Q1041591) (← links)
- Modular instantiation schemes (Q1944184) (← links)
- PTIME parametric verification of safety properties for reasonable linear hybrid automata (Q1949771) (← links)
- Decidable \({\exists}^*{\forall}^*\) first-order fragments of linear rational arithmetic with uninterpreted predicates (Q2031420) (← links)
- Set of support, demodulation, paramodulation: a historical perspective (Q2102923) (← links)
- On invariant synthesis for parametric systems (Q2305429) (← links)
- Modular proof systems for partial functions with Evans equality (Q2432764) (← links)
- On the Key Dependent Message Security of the Fujisaki-Okamoto Constructions (Q2798773) (← links)
- On Interpolation and Symbol Elimination in Theory Extensions (Q2817926) (← links)
- Applications of Hierarchical Reasoning in the Verification of Complex Systems (Q2864523) (← links)
- Automatic Verification of Combined Specifications: An Overview (Q2873685) (← links)
- On First-Order Model-Based Reasoning (Q2945706) (← links)
- Decidability of Verification of Safety Properties of Spatial Families of Linear Hybrid Automata (Q2964462) (← links)
- Towards Complete Reasoning about Axiomatic Specifications (Q3075488) (← links)
- Decision Procedures for Automating Termination Proofs (Q3075496) (← links)
- Satisfiability Modulo Theories (Q3176369) (← links)
- On Combinations of Local Theory Extensions (Q4916087) (← links)
- Verifying Visibility-Based Weak Consistency (Q5041095) (← links)
- (Q5079756) (← links)
- On Deciding Satisfiability by DPLL( $\Gamma+{\mathcal T}$ ) and Unsound Theorem Proving (Q5191095) (← links)
- Locality Results for Certain Extensions of Theories with Bridging Functions (Q5191097) (← links)
- An Efficient Decision Procedure for Imperative Tree Data Structures (Q5200043) (← links)
- Invariant Synthesis for Combined Theories (Q5452621) (← links)
- On Local Reasoning in Verification (Q5458332) (← links)
- On Hierarchical Reasoning in Combinations of Theories (Q5747749) (← links)
- Hierarchical Reasoning for the Verification of Parametric Systems (Q5747759) (← links)
- Complete instantiation-based interpolation (Q5890659) (← links)