Constructing Craig interpolation formulas
From MaRDI portal
Publication:6085706
DOI10.1007/bfb0030832zbMath1527.03007OpenAlexW1512074225MaRDI QIDQ6085706
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
Mechanization of proofs and logical operations (03B35) Interpolation, preservation, definability (03C40)
Related Items (1)
Cites Work
This page was built for publication: Constructing Craig interpolation formulas