The following pages link to (Q5702666):
Displaying 6 items.
- Interpolation systems for ground proofs in automated deduction: a survey (Q287275) (← links)
- Algorithmic proof methods and cut elimination for implicational logics. I: Modal implication (Q1580655) (← links)
- Computing interpolants in implicational logics (Q2503400) (← links)
- Interpolation via translations (Q3184216) (← links)
- Tools and Algorithms for the Construction and Analysis of Systems (Q5308386) (← links)
- Basic propositional calculus. II: Interpolation (Q5945567) (← links)