English
 
Help Privacy Policy Disclaimer
  Advanced SearchBrowse

Item

ITEM ACTIONSEXPORT
Add to Basket
 DetailsSummary
  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

 

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-000F-1E54-3
Genre: Conference Paper

Files

show Files

Locators

show

Creators

show
hide
 Creators:
Sofronie-Stokkermans, Viorica1, 2, Author           
Ihlemann, Carsten1, 2, Author           
Affiliations:
1Automation of Logic, MPI for Informatics, Max Planck Society, ou_1116545              
2Programming Logics, MPI for Informatics, Max Planck Society, ou_40045              

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: 2008-03-252007
 Publication Status: Issued
 Pages: -
 Publishing info: Los Alamitos, CA, USA : IEEE Computer Society
 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