Noname manuscript No. (will be inserted by the editor) On Recursion-free Horn Clauses and Craig Interpolation ¨ Philipp Rummer - Recursion - Document - PDFSEARCH.IO

First Page	Meta Content
	Noname manuscript No. (will be inserted by the editor) On Recursion-free Horn Clauses and Craig Interpolation ¨ Philipp Rummer Add to Reading List Document Date: 2015-10-30 08:06:31 Open Document File Size: 195,60 KB Share Result on Facebook

Noname manuscript No. (will be inserted by the editor) On Recursion-free Horn Clauses and Craig Interpolation ¨ Philipp RummerAdd to Reading List