Hierarchical and Modular Reasoning in Complex Theories: The Case of Local Theory Extensions

DOI10.1007/978-3-540-74621-8_3zbMath1148.68469OpenAlexW2104481363MaRDI QIDQ3525000

Viorica Sofronie-Stokkermans

Publication date: 16 September 2008

Published in: Frontiers of Combining Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-74621-8_3

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Mechanization of proofs and logical operations (03B35)

Related Items (7)

On First-Order Model-Based Reasoning ⋮ On Hierarchical Reasoning in Combinations of Theories ⋮ Locality Results for Certain Extensions of Theories with Bridging Functions ⋮ On Incremental Pre-processing for SMT ⋮ On Local Reasoning in Verification ⋮ On Interpolation and Symbol Elimination in Theory Extensions ⋮ Automatic Verification of Combined Specifications: An Overview

Uses Software

• REDLOG
• FOCI

This page was built for publication: Hierarchical and Modular Reasoning in Complex Theories: The Case of Local Theory Extensions