Rewriting Interpolants

DOI10.1016/j.entcs.2008.04.060zbMath1286.03039OpenAlexW2912491501WikidataQ118190445 ScholiaQ118190445MaRDI QIDQ5415616

No author found.

Publication date: 13 May 2014

Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.entcs.2008.04.060

zbMATH Keywords

rewritinginterpolants

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Grammars and rewriting systems (68Q42) Interpolation, preservation, definability (03C40)

Uses Software

• FOCI

Cites Work

• Unnamed Item
• Unnamed Item
• Three uses of the Herbrand-Gentzen theorem in relating model theory and proof theory
• Interpolation in Local Theory Extensions
• Tools and Algorithms for the Construction and Analysis of Systems
• Automated Deduction – CADE-20
• Constraint Solving for Interpolation
• Tools and Algorithms for the Construction and Analysis of Systems
• Computer Aided Verification

This page was built for publication: Rewriting Interpolants