scientific article; zbMATH DE number 7566058
From MaRDI portal
Publication:5094130
Alessandro Gianola, Deepak Kapur, Silvio Ghilardi
Publication date: 2 August 2022
Full work available at URL: https://arxiv.org/abs/2002.09784
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (1)
Uses Software
Cites Work
- Interpolation systems for ground proofs in automated deduction: a survey
- An interpolation theorem in the predicate calculus
- Model theory.
- Sheaves, games, and model completions. A categorical approach to nonclassical propositional logics
- Conditional congruence closure over uninterpreted and interpreted symbols
- On interpolation in automated theorem proving
- Interpolant Strength Revisited
- Playing in the grey area of proofs
- Three uses of the Herbrand-Gentzen theorem in relating model theory and proof theory
- Interpolant Strength
- Deciding Combinations of Theories
- Simplification by Cooperating Decision Procedures
- On an interpretation of second order quantification in first order intuitionistic propositional logic
- Lower bounds for resolution and cutting plane proofs and monotone computations
- Shostak's congruence closure as completion
- Term Rewriting and All That
- Cover Algorithms and Their Combination
- MCMT: A Model Checker Modulo Theories
- Lazy Abstraction with Interpolants
This page was built for publication:
