Interpolation and Symbol Elimination⋆ Laura Kov´acs1 and Andrei Voronkov2 1 2 - Proof calculus - Document - PDFSEARCH.IO

First Page	Meta Content
	Interpolation and Symbol Elimination⋆ Laura Kov´acs1 and Andrei Voronkov2 1 2 Add to Reading List Document Date: 2010-02-15 09:12:21 Open Document File Size: 124,33 KB Share Result on Facebook Company Bendix / / Facility EPFL University of Manchester Abstract / / IndustryTerm inference systems / potential applications / / Organization EPFL University of Manchester Abstract / National Science Foundation / European Commission / / Person Laura Kov / / Position first author / / ProvinceOrState Louisiana / / SocialTag Logical syntax Propositional calculus Proof theory Interpolation Video Video signal First-order logic Formal proof Pi Logic

Interpolation and Symbol Elimination⋆ Laura Kov´acs1 and Andrei Voronkov2 1 2Add to Reading List