IDEALS Home University of Illinois at Urbana-Champaign logo The Alma Mater The Main Quad

A Semantic Approach to Interpolation

Show full item record

Bookmark or cite this item:

Files in this item

File Description Format
PDF A Semantic Approach to Interpolation.pdf (309KB) (no description provided) PDF
Title: A Semantic Approach to Interpolation
Author(s): Popescu, Andrei; Serbanuta, Traian Florin; Rosu, Grigore
Subject(s): interpolation computer science
Abstract: Interpolation results are investigated for various types of formulae. By shifting the focus from syntactic to semantic interpolation, we generate, prove and classify more than twenty interpolation results for first-order logic and some for richer logics. A few of these results nontrivially generalize known interpolation results. All the others are new.
Issue Date: 2005-05
Genre: Technical Report
Type: Text
Other Identifier(s): UIUCDCS-R-2005-2643
Rights Information: You are granted permission for the non-commercial reproduction, distribution, display, and performance of this technical report in any format, BUT this permission is only for a period of 45 (forty-five) days from the most recent time that you verified that this technical report is still available from the University of Illinois at Urbana-Champaign Computer Science Department under terms that include this permission. All other rights are reserved by the author(s).
Date Available in IDEALS: 2009-04-20

This item appears in the following Collection(s)

Show full item record

Item Statistics

  • Total Downloads: 170
  • Downloads this Month: 1
  • Downloads Today: 0


My Account


Access Key