Identität in der Informationsgesellschaft die Entwicklung der Identität von der Moderne bis hin zu den veränderten Bedingungen im Informationszeitalter von Wolter, Uwe

On the role of category theory in the area of algebraic specifications von Ehrig, Hartmut 1944-2016, Große-Rhode, Martin, Wolter, Uwe

Categorical concepts for parameterized partial specifications von Classen, Ingo, Große-Rhode, Martin, Wolter, Uwe

Ableitungskalküle und operationale Semantik für algebraische Spezifikationen mit bedingten Gleichungen totale Algebren von Wolter, Uwe

Parametric algebraic specifications with Gentzen formulas free functor semantics and correctness von Löwe, Michael, Wolter, Uwe

Inhaltsverzeichnis

Ein algebraischer Zugang zur operationalen Semantik gleichungspartieller Horntheorien von Wolter, Uwe