- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Bibliographic citation
-
Reports / Technische Berichte der Fakultät für Angewandte Informatik der Universität Augsburg ; 2006-28
- Classification
-
Informatik
- Keyword
-
Kleene-Algebra
Halbring
- Event
-
Veröffentlichung
- (where)
-
Augsburg
- (who)
-
Universität Augsburg
- (when)
-
2006
- Creator
- URN
-
urn:nbn:de:bvb:384-opus4-3698
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
14.08.2025, 10:56 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
- Guttmann, Walter
- Möller, Bernhard
- Universität Augsburg
Time of origin
- 2006
Other Objects (12)
Normal design algebra
Ideal Stream Algebra
Lazy Kleene Algebra
Modal Design Algebra
The Linear Algebra of UTP
Deductive Hardware Design: A Functional Approach
Modal design algebra
Ideal stream algebra
Towards antichain algebra
Towards pointer algebra
Lazy Kleene Algebra
Towards pointer algebra
Normal design algebra
Ideal Stream Algebra
Lazy Kleene Algebra
Modal Design Algebra
The Linear Algebra of UTP
Deductive Hardware Design: A Functional Approach
Modal design algebra
Ideal stream algebra
Towards antichain algebra
Towards pointer algebra
Lazy Kleene Algebra
Towards pointer algebra
Normal design algebra
Ideal Stream Algebra
Lazy Kleene Algebra
Modal Design Algebra
The Linear Algebra of UTP
Deductive Hardware Design: A Functional Approach
Modal design algebra
Ideal stream algebra
Towards antichain algebra
Towards pointer algebra
Lazy Kleene Algebra