- 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
Towards an algebra of hybrid systems
Building structured theories
Ideal stream algebra
Derivation of graph and pointer algorithms
Algebraic calculation of graph and sorting algorithms
Lazy Kleene Algebra
Deductive hardware design: a functional approach
The linear algebra of UTP
Non-associative Kleene algebra and temporal logics
Quantales and Temporal Logics
Non-associative Kleene algebra and temporal logics
Knowledge and games in modal semirings
Towards an algebra of hybrid systems
Building structured theories
Ideal stream algebra
Derivation of graph and pointer algorithms
Algebraic calculation of graph and sorting algorithms
Lazy Kleene Algebra
Deductive hardware design: a functional approach
The linear algebra of UTP
Non-associative Kleene algebra and temporal logics
Quantales and Temporal Logics
Non-associative Kleene algebra and temporal logics
Knowledge and games in modal semirings
Towards an algebra of hybrid systems
Building structured theories
Ideal stream algebra
Derivation of graph and pointer algorithms
Algebraic calculation of graph and sorting algorithms
Lazy Kleene Algebra
Deductive hardware design: a functional approach