Hierarchical Reasoning in Local Theory Extensions and Applications

Sofronie-Stokkermans, Viorica

doi:10.1109/SYNASC.2014.13

Local TagsRelease HistoryDetailsSummary

Hierarchical Reasoning in Local Theory Extensions and Applications

Sofronie-Stokkermans, V. (2015). Hierarchical Reasoning in Local Theory Extensions and Applications. In SYNASC 2014 (pp. 34-41). Los Alamitos, CA: IEEE Computer Society. doi:10.1109/SYNASC.2014.13.

Item is Released

show all hide all

Basic

show hide

Item Permalink: https://hdl.handle.net/11858/00-001M-0000-0024-C944-F Version Permalink: https://hdl.handle.net/11858/00-001M-0000-0024-C945-D

Genre: Conference Paper

Files

show Files

Locators

show

Creators

show

hide

Creators:
Sofronie-Stokkermans, Viorica¹, Author

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

Content

show

Details

show

hide

Language(s): eng - English

Dates: Published Online: 2015Date issued: 2015

Publication Status: Issued

Pages: -

Publishing info: -

Table of Contents: -

Rev. Type: -

Identifiers: BibTex Citekey: sofronie-stokkermans-synasc2014
DOI: 10.1109/SYNASC.2014.13

Degree: -

Event

show

hide

Title: 16th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing

Place of Event: Timisoara, Romania

Start-/End Date: 2014-09-22 - 2014-09-25

Legal Case

show

Project information

show

Source 1

show

hide

Title: SYNASC 2014

Subtitle : The 16th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing ; 22-25 September 2014, Timisoara, Romania ; Proceedings

Source Genre: Proceedings

Creator(s):

Affiliations:

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

Pages: - Volume / Issue: - Sequence Number: - Start / End Page: 34 - 41 Identifier: ISBN: 978-1-4799-8448-0