REDLOG

REDLOG EXAMPLES DOCUMENTATION DOWNLOADS REFERENCES REMIS · REDUCE

REMIS Paper Data

Hierarchical and Modular Reasoning in Complex Theories: The Case of Local Theory Extensions

Bibliographic information

AuthorViorica Sofronie-Stokkermans
TitleHierarchical and Modular Reasoning in Complex Theories: The Case of Local Theory Extensions
SeriesLNAI
Volume4720
EditorKonev, B. and Wolter, F.
BooktitleFrontiers of Combining Systems. 6th International Symposium, FroCoS 2007 Liverpool, UK, September 10-12, 2007 Proceedings
Pages47-71
PublisherSpringer
AddressBerlin Heidelberg, Germany
Year2007
PubtypeInCollection
Doi10.1007/978-3-540-74621-8_3

Additional data alphabetic by keywords

Contextofsf
Domainreals
FileidStokkermans_07
NameStokkermans
Pdffilehttp://redlog.dolzmann.de/remis/paper/Stokkermans_07/Stokkermans07.pdf
Statusredlog third-party application
XtitleHierarchical and Modular Reasoning in Complex Theories: The Case of Local Theory Extensions
Other files:

A.D. T.S. www@redlog.eu Validate