TY  - JOUR
A1  - Möller, Bernhard
T1  - Building structured theories
T2  - Lecture Notes in Computer Science
N2  - We provide a set of syntactic tools for structuring large collections of logical theories. Their use is demonstrated by a formalisation of algebras that are used in describing the semantics of concepts in programming languages, but also of more general systems.
Y1  - 2019
UR  - https://opus.bibliothek.uni-augsburg.de/opus4/frontdoor/index/index/docId/58782
UR  - https://nbn-resolving.org/urn:nbn:de:bvb:384-opus4-587822
SN  - 978-3-642-21069-3
VL  - 6663
SP  - 1
EP  - 21
PB  - Springer
CY  - Berlin
ER  -