LARA

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

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]]