- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Bibliographic citation
-
In: Journal of Logical and Algebraic Methods in Programming, 83, 2, S. 309-317
- Classification
-
Politik
- Event
-
Veröffentlichung
- (where)
-
Augsburg
- (who)
-
Universität Augsburg
- (when)
-
2014
- Event
-
Veröffentlichung
- (who)
-
Elsevier BV
- (when)
-
2014
- Creator
- DOI
-
10.1016/j.jlap.2014.02.016
- URN
-
urn:nbn:de:bvb:384-opus4-689027
- 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
- Müller, Martin E.
- Möller, Bernhard
- Universität Augsburg
- Elsevier BV
Time of origin
- 2014
Other Objects (12)
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
Algebraic neighbourhood logic
Foreword
Algebras of modal operators and partial correctness
Concurrency and local reasoning under reverse exchange
An algebra of hybrid systems
Extended feature algebra
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
Algebraic neighbourhood logic
Foreword
Algebras of modal operators and partial correctness
Concurrency and local reasoning under reverse exchange
An algebra of hybrid systems
Extended feature algebra
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
Algebraic neighbourhood logic
Foreword
Algebras of modal operators and partial correctness
Concurrency and local reasoning under reverse exchange
An algebra of hybrid systems