Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision | |||
sav07_lecture_14_skeleton [2007/05/03 18:50] vkuncak |
sav07_lecture_14_skeleton [2007/05/03 19:03] (current) vkuncak |
||
---|---|---|---|
Line 45: | Line 45: | ||
Craig's interpolation theorem | Craig's interpolation theorem | ||
- | * [[Galllier Logic Book]], Section 6.5 | + | * [[Gallier Logic Book]], Section 6.5 |
+ | * [[http://www.kenmcmil.com/pubs/TACAS04.pdf|An Interpolating Theorem Prover]] | ||
+ | |||
+ | [[http://www.kenmcmil.com/pubs/CAV06.pdf|Lazy Abstraction with Interpolants]] | ||