Automated reasoning in some local exensions of ordered structures
From MaRDI portal
Recommendations
Cited in
(19)- Axiomatization of local-global principles for pp-formulas in spaces of orderings
- Set of support, demodulation, paramodulation: a historical perspective
- Automatic verification of combined specifications: an overview
- Automated Reasoning in Higher-Order Regular Algebra
- Towards Complete Reasoning about Axiomatic Specifications
- Decision Procedures for Automating Termination Proofs
- On deciding satisfiability by theorem proving with speculative inferences
- scientific article; zbMATH DE number 1552519 (Why is no real title available?)
- On combinations of local theory extensions
- Automated Algebraic Reasoning for Collections and Local Variables with Lenses
- Locality Results for Certain Extensions of Theories with Bridging Functions
- Pumping for ordinal-automatic structures1
- Automated Deduction – CADE-20
- Determination of \(\alpha \)-resolution in lattice-valued first-order logic \(\mathrm{LF}(X)\)
- On Local Reasoning in Verification
- On Hierarchical Reasoning in Combinations of Theories
- Hierarchical reasoning for the verification of parametric systems
- 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}^+$$
- On symbol elimination and uniform interpolation in theory extensions
This page was built for publication: Automated reasoning in some local exensions of ordered structures
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5446292)
