- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Bibliographic citation
-
In: The Journal of Logic and Algebraic Programming, 80, 6, S. 221-247
- Event
-
Veröffentlichung
- (where)
-
Augsburg
- (who)
-
Universität Augsburg, Elsevier
- (when)
-
2011
- Creator
- DOI
-
10.1016/j.jlap.2011.04.003
- URN
-
urn:nbn:de:bvb:384-opus4-389061
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
25.03.2025, 2:46 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
- Höfner, Peter
- Möller, Bernhard
- Universität Augsburg, Elsevier
Time of origin
- 2011
Other Objects (12)
Algebraic Separation Logic
Towards Algebraic Separation Logic
Algebraic neighbourhood logic
Extended Transitive Separation Logic
An Algebraic Approach to Systolic Circuits
Preface
Towards pointer algebra
Transitive separation logic
Unendliche Objekte und Geflechte
Poimandrosatanomachia ecclesia christiana : hoc est: Poemandri Episcopi et Satanicae Veneris pugna ...
Extended transitive separation logic
An algebraic approach to systolic circuits
Algebraic Separation Logic
Towards Algebraic Separation Logic
Algebraic neighbourhood logic
Extended Transitive Separation Logic
An Algebraic Approach to Systolic Circuits
Preface
Towards pointer algebra
Transitive separation logic
Unendliche Objekte und Geflechte
Poimandrosatanomachia ecclesia christiana : hoc est: Poemandri Episcopi et Satanicae Veneris pugna ...
Extended transitive separation logic
An algebraic approach to systolic circuits
Algebraic Separation Logic
Towards Algebraic Separation Logic
Algebraic neighbourhood logic
Extended Transitive Separation Logic
An Algebraic Approach to Systolic Circuits
Preface
Towards pointer algebra
Transitive separation logic
Unendliche Objekte und Geflechte
Poimandrosatanomachia ecclesia christiana : hoc est: Poemandri Episcopi et Satanicae Veneris pugna ...
Extended transitive separation logic