Automated Deduction – CADE-20
From MaRDI portal
Publication:5394615
Recommendations
- Hierarchical and Modular Reasoning in Complex Theories: The Case of Local Theory Extensions
- On combinations of local theory extensions
- On Hierarchical Reasoning in Combinations of Theories
- Automated reasoning in some local exensions of ordered structures
- Locality Results for Certain Extensions of Theories with Bridging Functions
Cited in
(34)- On Hierarchical Reasoning in Combinations of Theories
- Set of support, demodulation, paramodulation: a historical perspective
- Symbol elimination and applications to parametric entailment problems
- Locality Results for Certain Extensions of Theories with Bridging Functions
- An efficient decision procedure for imperative tree data structures
- Decision Procedures for Automating Termination Proofs
- Verifying visibility-based weak consistency
- Decidable \({\exists}^*{\forall}^*\) first-order fragments of linear rational arithmetic with uninterpreted predicates
- On Deciding Satisfiability by DPLL( $\Gamma+{\mathcal T}$ ) and Unsound Theorem Proving
- On deciding satisfiability by theorem proving with speculative inferences
- Decidability of verification of safety properties of spatial families of linear hybrid automata
- On Local Reasoning in Verification
- Invariant Synthesis for Combined Theories
- On invariant synthesis for parametric systems
- Complete instantiation-based interpolation
- Theory decision by decomposition
- Constraint solving for interpolation
- Hierarchical deduction
- Applications of hierarchical reasoning in the verification of complex systems
- On First-Order Model-Based Reasoning
- On combinations of local theory extensions
- Automated reasoning in some local exensions of ordered structures
- On the key dependent message security of the Fujisaki-Okamoto constructions
- Satisfiability modulo theories
- Hierarchical reasoning for the verification of parametric systems
- Modular instantiation schemes
- Hierarchical and Modular Reasoning in Complex Theories: The Case of Local Theory Extensions
- On P-Interpolation in Local Theory Extensions and Applications to the Study of Interpolation in the Description Logics $$\mathcal{E}\mathcal{L}, \mathcal{E}\mathcal{L}^+$$
- PTIME parametric verification of safety properties for reasonable linear hybrid automata
- Parametrized invariance for infinite state processes
- Modular proof systems for partial functions with Evans equality
- Towards Complete Reasoning about Axiomatic Specifications
- Automatic verification of combined specifications: an overview
- scientific article; zbMATH DE number 7533356 (Why is no real title available?)
This page was built for publication: Automated Deduction – CADE-20
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5394615)
