Proceedings Article, Paper
@InProceedings
Beitrag in Tagungsband, Workshop


Show entries of:

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

Action:

login to update

Options:




Library Locked Library locked




Author, Editor

Author(s):

Ihlemann, Carsten
Sofronie-Stokkermans, Viorica

dblp
dblp



Editor(s):

Giesl, Jürgen
Hähnle, Reiner

dblp
dblp

Not MPII Editor(s):

Giesl, Jürgen
Hähnle, Reiner

BibTeX cite key*:

Ihlemann-Sofronie-Stokkermans-ijcar-2010

Title, Booktitle

Title*:

On Hierarchical Reasoning in Combinations of Theories

Booktitle*:

Automated Reasoning : 5th International Joint Conference, IJCAR 2010

Event, URLs

URL of the conference:

http://www.floc-conference.org/IJCAR-home.html

URL for downloading the paper:

http://dx.doi.org/10.1007/978-3-642-14203-1_4

Event Address*:

Edinburgh

Language:

English

Event Date*
(no longer used):


Organization:


Event Start Date:

16 July 2010

Event End Date:

19 July 2010

Publisher

Name*:

Springer

URL:

http://www.springer-ny.com/

Address*:

Berlin

Type:


Vol, No, Year, pp.

Series:

Lecture Notes in Artificial Intelligence

Volume:

6173

Number:


Month:


Pages:

30-45

Year*:

2010

VG Wort Pages:


ISBN/ISSN:

978-3-642-14202-4

Sequence Number:


DOI:

10.1007/978-3-642-14203-1_4



Note, Abstract, ©


(LaTeX) Abstract:

In this paper we study theory combinations over non-disjoint
signatures in which hierarchical and modular reasoning is
possible. We use a notion of locality of a theory extension
parameterized by a closure operator on ground terms.
We give criteria for recognizing these types of theory
extensions. We then show that combinations of extensions of
theories which are local in this extended sense also have a
locality property and hence allow modular and hierarchical
reasoning. We thus obtain parameterized decidability and
complexity results for many (combinations of) theories
important in verification.



Download
Access Level:

Public

Correlation

MPG Unit:

Max-Planck-Institut für Informatik



MPG Subunit:

Automation of Logic

Appearance:

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



BibTeX Entry:

@INPROCEEDINGS{Ihlemann-Sofronie-Stokkermans-ijcar-2010,
AUTHOR = {Ihlemann, Carsten and Sofronie-Stokkermans, Viorica},
EDITOR = {Giesl, J{\"u}rgen and H{\"a}hnle, Reiner},
TITLE = {On Hierarchical Reasoning in Combinations of Theories},
BOOKTITLE = {Automated Reasoning : 5th International Joint Conference, IJCAR 2010},
PUBLISHER = {Springer},
YEAR = {2010},
VOLUME = {6173},
PAGES = {30--45},
SERIES = {Lecture Notes in Artificial Intelligence},
ADDRESS = {Edinburgh},
ISBN = {978-3-642-14202-4},
DOI = {10.1007/978-3-642-14203-1_4},
}


Entry last modified by Manuel Lamotte-Schubert, 03/16/2011
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)
[Library]
Created
06/10/2010 03:23:56 PM
Revisions
3.
2.
1.
0.
Editor(s)
Manuel Lamotte-Schubert
Anja Becker
Anja Becker
Viorica Sofronie-Stokkermans
Edit Dates
16.03.2011 15:20:04
15.03.2011 09:54:07
19.01.2011 14:43:01
06/10/2010 03:23:56 PM
Show details for Attachment SectionAttachment Section
Hide details for Attachment SectionAttachment Section