- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Bibliographic citation
-
In: Lecture Notes in Computer Science, 4019, S. 263-277
- Event
-
Veröffentlichung
- (where)
-
Augsburg
- (who)
-
Universität Augsburg
- (when)
-
2006
- Event
-
Veröffentlichung
- (who)
-
Springer
- (when)
-
2006
- Creator
- DOI
-
10.1007/11784180_21
- URN
-
urn:nbn:de:bvb:384-opus4-359342
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
14.08.2025, 10:57 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, Bernhard
- Höfner, Peter
- Struth, Georg
- Universität Augsburg
- Springer
Time of origin
- 2006
Other Objects (12)
Non-associative Kleene algebra and temporal logics
Quantales and Temporal Logics
Non-associative Kleene algebra and temporal logics
Knowledge and games in modal semirings
Building structured theories
Towards an algebra of hybrid systems
Ideal stream algebra
Derivation of graph and pointer algorithms
Ordered and continuous models of higher-order specifications
Assertions and recursions
The linear algebra of UTP
Lazy Kleene Algebra
Non-associative Kleene algebra and temporal logics
Quantales and Temporal Logics
Non-associative Kleene algebra and temporal logics
Knowledge and games in modal semirings
Building structured theories
Towards an algebra of hybrid systems
Ideal stream algebra
Derivation of graph and pointer algorithms
Ordered and continuous models of higher-order specifications
Assertions and recursions
The linear algebra of UTP
Lazy Kleene Algebra
Non-associative Kleene algebra and temporal logics
Quantales and Temporal Logics
Non-associative Kleene algebra and temporal logics
Knowledge and games in modal semirings
Building structured theories
Towards an algebra of hybrid systems
Ideal stream algebra
Derivation of graph and pointer algorithms
Ordered and continuous models of higher-order specifications
Assertions and recursions
The linear algebra of UTP