Sciweavers

TACAS
2004
Springer
110views Algorithms» more  TACAS 2004»
13 years 9 months ago
An Interpolating Theorem Prover
We present a method of deriving Craig interpolants from proofs in the quantifier-free theory of linear inequality and uninterpreted function symbols, and an interpolating theorem...
Kenneth L. McMillan