Deutsch
 
Hilfe Datenschutzhinweis Impressum
  DetailsucheBrowse

Datensatz

 
 
DownloadE-Mail
  Interpolation in local theory extensions

Sofronie-Stokkermans, V. (2008). Interpolation in local theory extensions. Logical Methods in Computer Science, 4(4), Art.1.1-31. doi:10.2168/LMCS-4(4:1)2008.

Item is

Externe Referenzen

einblenden:

Urheber

einblenden:
ausblenden:
 Urheber:
Sofronie-Stokkermans, Viorica1, Autor           
Affiliations:
1Automation of Logic, MPI for Informatics, Max Planck Society, ou_1116545              

Inhalt

einblenden:
ausblenden:
Schlagwörter: -
 Zusammenfassung: In this paper we study interpolation in local extensions of a base theory. We identify situations in which it is possible to obtain interpolants in a hierarchical manner, by using a prover and a procedure for generating interpolants in the base theory as black-boxes. We present several examples of theory extensions in which interpolants can be computed this way, and discuss applications in verification, knowledge representation, and modular reasoning in combinations of local theories.

Details

einblenden:
ausblenden:
Sprache(n): eng - English
 Datum: 2009-03-312008
 Publikationsstatus: Erschienen
 Seiten: -
 Ort, Verlag, Ausgabe: -
 Inhaltsverzeichnis: -
 Art der Begutachtung: -
 Identifikatoren: eDoc: 428281
DOI: 10.2168/LMCS-4(4:1)2008
URI: http://dx.doi.org/10.2168/LMCS-4(4:1)2008
Anderer: Local-ID: C125756E0038A185-0BAC6AC51314A396C12573E90031E4EB-Sofronie-Stokkermans-lmcs-2008
 Art des Abschluß: -

Veranstaltung

einblenden:

Entscheidung

einblenden:

Projektinformation

einblenden:

Quelle 1

einblenden:
ausblenden:
Titel: Logical Methods in Computer Science
Genre der Quelle: Zeitschrift
 Urheber:
Affiliations:
Ort, Verlag, Ausgabe: -
Seiten: - Band / Heft: 4 (4) Artikelnummer: - Start- / Endseite: Art.1.1 - 31 Identifikator: ISSN: 1860-5974