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:








Author, Editor

Author(s):

Sofronie-Stokkermans, Viorica
Ihlemann, Carsten

dblp
dblp



Editor(s):





BibTeX cite key*:

sofronie-ihlemann-ismvl-2007

Title, Booktitle

Title*:

Automated reasoning in some local extensions of ordered structures

Booktitle*:

Proceedings of ISMVL 2007

Event, URLs

URL of the conference:

http://ismvl07.ifi.uio.no/

URL for downloading the paper:


Event Address*:

Oslo, Norway

Language:

English

Event Date*
(no longer used):


Organization:


Event Start Date:

14 May 2007

Event End Date:

16 May 2007

Publisher

Name*:

IEEE

URL:


Address*:

New York

Type:


Vol, No, Year, pp.

Series:


Volume:


Number:


Month:


Pages:

Article1

Year*:

2007

VG Wort Pages:

15

ISBN/ISSN:

0-7695-2831-7

Sequence Number:


DOI:

10.1109/ISMVL.2007.10



Note, Abstract, ©


(LaTeX) Abstract:

We give a uniform method for automated reasoning in
several types of extensions of ordered algebraic structures
(definitional extensions, extensions with boundedness
axioms or with monotonicity axioms). We show that such
extensions are local and, hence, efficient methods for
hierarchical reasoning exist in all these cases.



Download
Access Level:

Public

Correlation

MPG Unit:

Max-Planck-Institut für Informatik



MPG Subunit:

Programming Logics Group

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:

@INPROCEEDINGS{sofronie-ihlemann-ismvl-2007,
AUTHOR = {Sofronie-Stokkermans, Viorica and Ihlemann, Carsten},
TITLE = {Automated reasoning in some local extensions of ordered structures},
BOOKTITLE = {Proceedings of ISMVL 2007},
PUBLISHER = {IEEE},
YEAR = {2007},
PAGES = {Article1},
ADDRESS = {Oslo, Norway},
ISBN = {0-7695-2831-7},
DOI = {10.1109/ISMVL.2007.10},
}


Entry last modified by Viorica Sofronie-Stokkermans, 02/28/2008
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
03/12/2007 10:44:25 AM
Revisions
7.
6.
5.
4.
3.
Editor(s)
Viorica Sofronie-Stokkermans
Viorica Sofronie-Stokkermans
Uwe Brahm
Uwe Brahm
Uwe Brahm
Edit Dates
01/07/2008 03:38:59 PM
01/07/2008 02:34:19 PM
11/06/2007 05:17:07 PM
11/06/2007 05:16:31 PM
05/16/2007 05:33:13 PM
Show details for Attachment SectionAttachment Section
Hide details for Attachment SectionAttachment Section