Automated Deduction – CADE-20
From MaRDI portal
Publication:5394615
DOI10.1007/11532231zbMATH Open1135.03330OpenAlexW2485416161MaRDI QIDQ5394615FDOQ5394615
Authors: Viorica Sofronie-Stokkermans 
Publication date: 1 November 2006
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/11532231
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
- Verifying visibility-based weak consistency
- Decision Procedures for Automating Termination Proofs
- 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
- Decidability of verification of safety properties of spatial families of linear hybrid automata
- On deciding satisfiability by theorem proving with speculative inferences
- On Local Reasoning in Verification
- Invariant Synthesis for Combined Theories
- Complete instantiation-based interpolation
- On invariant synthesis for parametric systems
- 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
- Title not available (Why is that?)
Uses Software
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)
