Automated reasoning in some local extensions of ordered structures

Sofronie-Stokkermans, Viorica; Ihlemann, Carsten

doi:10.1109/ISMVL.2007.10

Local TagsRelease HistoryDetailsSummary

Automated reasoning in some local extensions of ordered structures

Sofronie-Stokkermans, V., & Ihlemann, C. (2007). Automated reasoning in some local extensions of ordered structures. In Proceedings of the 37th International Symposium on Multiple-Valued Logic (ISMVL'07) (pp. p.1.1-6). Los Alamitos, CA, USA: IEEE Computer Society.

Item is Released

show all hide all

Basic

show hide

Item Permalink: https://hdl.handle.net/11858/00-001M-0000-000F-1E53-5 Version Permalink: https://hdl.handle.net/11858/00-001M-0000-002D-7B38-1

Genre: Conference Paper

Files

show Files

Locators

show

Creators

show

hide

Creators:
Sofronie-Stokkermans, Viorica¹, Author
Ihlemann, Carsten¹, Author

Affiliations:
1Automation of Logic, MPI for Informatics, Max Planck Society, ou_1116545

Content

show

hide

Free keywords: -

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.

Details

show

hide

Language(s): eng - English

Dates: Modified: 2008-03-25Date issued: 2007

Publication Status: Issued

Pages: -

Publishing info: -

Table of Contents: -

Rev. Type: -

Identifiers: eDoc: 356427
DOI: 10.1109/ISMVL.2007.10
Other: Local-ID: C12573CC004A8E26-371095D2424BE5A2C125729C00358153-sofronie-ihlemann-ismvl-2007

Degree: -

Event

show

hide

Title: Untitled Event

Place of Event: Oslo, Norway

Start-/End Date: 2007-05-14 - 2007-05-16

Legal Case

show

Project information

show

Source 1

show

hide

Title: Proceedings of the 37th International Symposium on Multiple-Valued Logic (ISMVL'07)

Source Genre: Proceedings

Creator(s):

Affiliations:

Publ. Info: Los Alamitos, CA, USA : IEEE Computer Society

Pages: - Volume / Issue: - Sequence Number: - Start / End Page: p.1.1 - 6 Identifier: ISBN: 0-7695-2831-7