Constructing Craig interpolation formulas

DOI10.1007/bfb0030832zbMath1527.03007OpenAlexW1512074225MaRDI QIDQ6085706

Guoxiang Huang

Publication date: 12 December 2023

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

Full work available at URL: https://doi.org/10.1007/bfb0030832

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Interpolation, preservation, definability (03C40)

Related Items (1)

Interpolation and model checking for nonlinear arithmetic

Cites Work

• Unnamed Item
• Unnamed Item
• Model theory.
• Two notes on Rankin's book on the modular group

This page was built for publication: Constructing Craig interpolation formulas