Electronic Journal Article
@Article
Zeitschriftenartikel in einem e-Journal



Show entries of:

this year (2019) | last year (2018) | two years ago (2017) | Notes URL

Action:

login to update

Options:








Author, Editor

Author(s):

Sofronie-Stokkermans, Viorica

dblp



BibTeX cite key*:

Sofronie-Stokkermans-lmcs-2008

Title

Title*:

Interpolation in local theory extensions

Journal

Journal Title*:

Logical Methods in Computer Science

Journal's URL:

http://www.lmcs-online.org/index.php

Download URL
for the article:


Language:

English

Publisher

Publisher's
Name:


Publisher's URL:


Publisher's
Address:


ISSN:

1860-5974

Vol, No, Year, pp.

Volume:

4

Number:

4

Month:

October

Year*:

2008

Pages:

31 pages

Number of VG Pages:


Sequence Number:

1

DOI:

10.2168/LMCS-4(4:1)2008

Abstract, Links, (C)

Note:

Special issue of LMCS dedicated to IJCAR 2006.

(LaTeX) Abstract:

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.

URL for the Abstract:

http://www.lmcs-online.org/ojs/viewarticle.php?id=288&layout=abstract

Categories / Keywords:


HyperLinks / References / URLs:


Copyright Message:


Personal Comments:


Download
Access Level:

Public

Correlation

MPG Unit:

Max-Planck-Institut für Informatik



MPG Subunit:

Automation of Logic

Audience:

experts only

Appearance:

MPII WWW Server, MPII FTP Server, MPG publications list, university publications list, working group publication list, Fachbeirat, VG Wort



BibTeX Entry:

@MISC{Sofronie-Stokkermans-lmcs-2008,
AUTHOR = {Sofronie-Stokkermans, Viorica},
TITLE = {Interpolation in local theory extensions},
JOURNAL = {Logical Methods in Computer Science},
YEAR = {2008},
NUMBER = {4},
VOLUME = {4},
PAGES = {31 pages},
MONTH = {October},
ISBN = {1860-5974},
DOI = {10.2168/LMCS-4(4:1)2008},
NOTE = {Special issue of LMCS dedicated to IJCAR 2006.},
}


Entry last modified by Viorica Sofronie-Stokkermans, 03/03/2009
Show details for Edit History (please click the blue arrow to see the details)Edit History (please click the blue arrow to see the details)
Hide details for Edit History (please click the blue arrow to see the details)Edit History (please click the blue arrow to see the details)

Editor(s)
Viorica Sofronie-Stokkermans
Created
02/08/2008 10:04:58 AM
Revision
1.
0.


Editor
Viorica Sofronie-Stokkermans
Viorica Sofronie-Stokkermans


Edit Date
10/17/2008 02:46:57 PM
02/08/2008 10:04:58 AM


Show details for Attachment SectionAttachment Section
Hide details for Attachment SectionAttachment Section