- 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, Springer
- (when)
-
2006
- 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
-
25.03.2025, 1:51 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
- 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
An Algebraic Approach to Systolic Circuits
The Linear Algebra of UTP
Ideal Stream Algebra
Deductive Hardware Design: A Functional Approach
Knowledge and Games in Modal Semirings
Lazy Kleene Algebra
Ordered and continuous models of higher-order specifications
Lazy Kleene Algebra
The linear algebra of UTP
Non-associative Kleene algebra and temporal logics
Quantales and Temporal Logics
Non-associative Kleene algebra and temporal logics
An Algebraic Approach to Systolic Circuits
The Linear Algebra of UTP
Ideal Stream Algebra
Deductive Hardware Design: A Functional Approach
Knowledge and Games in Modal Semirings
Lazy Kleene Algebra
Ordered and continuous models of higher-order specifications
Lazy Kleene Algebra
The linear algebra of UTP
Non-associative Kleene algebra and temporal logics
Quantales and Temporal Logics
Non-associative Kleene algebra and temporal logics
An Algebraic Approach to Systolic Circuits
The Linear Algebra of UTP
Ideal Stream Algebra
Deductive Hardware Design: A Functional Approach
Knowledge and Games in Modal Semirings
Lazy Kleene Algebra
Ordered and continuous models of higher-order specifications
Lazy Kleene Algebra