- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Bibliographic citation
-
In: Science of Computer Programming, 85, S. 204-223
- Event
-
Veröffentlichung
- (where)
-
Augsburg
- (who)
-
Universität Augsburg
- (when)
-
2014
- Event
-
Veröffentlichung
- (who)
-
Elsevier BV
- (when)
-
2014
- Creator
- DOI
-
10.1016/j.scico.2013.07.006
- URN
-
urn:nbn:de:bvb:384-opus4-587556
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
- 14.08.2025, 10:59 AM CEST
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, H.-H.
- Möller, Bernhard
- Universität Augsburg
- Elsevier BV
Time of origin
- 2014
Other Objects (12)
Reverse exchange for concurrency and local reasoning
Calculating with acyclic and cyclic lists
Guest editor's introduction: Special issue on Relation Algebra and Kleene Algebra
Kleene getting lazy
Geographic wayfinders and space-time algebra
Extended transitive separation logic
An algebra of database preferences
On nothing [Editorial]
Algebraic neighbourhood logic
Foreword
Algebras of modal operators and partial correctness
An algebra of hybrid systems
Reverse exchange for concurrency and local reasoning
Calculating with acyclic and cyclic lists
Guest editor's introduction: Special issue on Relation Algebra and Kleene Algebra
Kleene getting lazy
Geographic wayfinders and space-time algebra
Extended transitive separation logic
An algebra of database preferences
On nothing [Editorial]
Algebraic neighbourhood logic
Foreword
Algebras of modal operators and partial correctness
An algebra of hybrid systems
Reverse exchange for concurrency and local reasoning
Calculating with acyclic and cyclic lists
Guest editor's introduction: Special issue on Relation Algebra and Kleene Algebra
Kleene getting lazy
Geographic wayfinders and space-time algebra
Extended transitive separation logic
An algebra of database preferences
On nothing [Editorial]
Algebraic neighbourhood logic
Foreword
Algebras of modal operators and partial correctness