- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Bibliographic citation
-
Reports / Technische Berichte der Fakultät für Angewandte Informatik der Universität Augsburg ; 2013-07
- Classification
-
Wirtschaft
- Event
-
Veröffentlichung
- (where)
-
Augsburg
- (who)
-
Universität Augsburg
- (when)
-
2013
- Creator
- URN
-
urn:nbn:de:bvb:384-opus4-23703
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
25.03.2025, 1:56 PM CET
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Associated
- Dang, Han-Hing
- Möller, Bernhard
- Universität Augsburg
Time of origin
- 2013
Other Objects (12)
Extended transitive separation logic
Transitive separation logic
Algebraic Separation Logic
Unendliche Objekte und Geflechte
Poimandrosatanomachia ecclesia christiana : hoc est: Poemandri Episcopi et Satanicae Veneris pugna ...
Towards Algebraic Separation Logic
Algebraic separation logic
Extended feature algebra
Algebraic neighbourhood logic
Thüringer Pfarrerbuch, Bd. 2.. Fürstentum Schwarzburg-Sondershausen / bearb. von Bernhard Möller
An Algebraic Approach to Systolic Circuits
The Linear Algebra of UTP
Extended transitive separation logic
Transitive separation logic
Algebraic Separation Logic
Unendliche Objekte und Geflechte
Poimandrosatanomachia ecclesia christiana : hoc est: Poemandri Episcopi et Satanicae Veneris pugna ...
Towards Algebraic Separation Logic
Algebraic separation logic
Extended feature algebra
Algebraic neighbourhood logic
Thüringer Pfarrerbuch, Bd. 2.. Fürstentum Schwarzburg-Sondershausen / bearb. von Bernhard Möller
An Algebraic Approach to Systolic Circuits
The Linear Algebra of UTP
Extended transitive separation logic
Transitive separation logic
Algebraic Separation Logic
Unendliche Objekte und Geflechte
Poimandrosatanomachia ecclesia christiana : hoc est: Poemandri Episcopi et Satanicae Veneris pugna ...
Towards Algebraic Separation Logic
Algebraic separation logic
Extended feature algebra
Algebraic neighbourhood logic
Thüringer Pfarrerbuch, Bd. 2.. Fürstentum Schwarzburg-Sondershausen / bearb. von Bernhard Möller
An Algebraic Approach to Systolic Circuits