Journal Article
@Article
Artikel in Fachzeitschrift


Show entries of:

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

Action:

login to update

Options:








Author, Editor(s)

Author(s):

Sofronie-Stokkermans, Viorica
Ihlemann, Carsten

dblp
dblp



BibTeX cite key*:

sofronie-ihlemann-jmvl-2007

Title

Title*:

Automated reasoning in some local extensions of ordered structures

Journal

Journal Title*:

Journal of Multiple-Valued Logic and Soft Computing

Journal's URL:

http://www.oldcitypublishing.com/MVLSC/MVLSC.html

Download URL
for the article:


Language:

English

Publisher

Publisher's
Name:

Old City Publishing

Publisher's URL:


Publisher's
Address:


ISSN:

1542-3980

Vol, No, pp, Date

Volume*:

13

Number:

4-6

Publishing Date:

2007

Pages*:

397-414

Number of
VG Pages:

21

Page Start:

397

Page End:

414

Sequence Number:


DOI:


Note, Abstract, ©

Note:


(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.

URL for the Abstract:


Categories,
Keywords:


HyperLinks / References / URLs:


Copyright Message:


Personal Comments:


Download
Access Level:

Intranet

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:

@ARTICLE{sofronie-ihlemann-jmvl-2007,
AUTHOR = {Sofronie-Stokkermans, Viorica and Ihlemann, Carsten},
TITLE = {Automated reasoning in some local extensions of ordered structures},
JOURNAL = {Journal of Multiple-Valued Logic and Soft Computing},
PUBLISHER = {Old City Publishing},
YEAR = {2007},
NUMBER = {4-6},
VOLUME = {13},
PAGES = {397--414},
ISBN = {1542-3980},
}


Entry last modified by Uwe Brahm, 03/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
04/16/2007 12:58:47 PM
Revisions
15.
14.
13.
12.
11.
Editor(s)
Uwe Brahm
Anja Becker
Viorica Sofronie-Stokkermans
Viorica Sofronie-Stokkermans
Viorica Sofronie-Stokkermans
Edit Dates
03/28/2008 06:19:02 PM
28.02.2008 09:08:54
01/07/2008 03:36:05 PM
01/07/2008 02:41:20 PM
01/07/2008 02:22:42 PM