- 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 ; 2009-05
- Classification
-
Informatik
- Keyword
-
Kleene-Algebra
- Event
-
Veröffentlichung
- (where)
-
Augsburg
- (who)
-
Universität Augsburg
- (when)
-
2009
- Contributor
-
Hoare, Charles A. R.
Möller, Bernhard
Struth, Georg
Wehrman, Ian
Microsoft Research Cambridge, University of Sheffield, University of Texas at Austin
- URN
-
urn:nbn:de:bvb:384-opus4-10957
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
14.08.2025, 10:47 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
- Hoare, Charles A. R.
- Möller, Bernhard
- Struth, Georg
- Wehrman, Ian
- Microsoft Research Cambridge, University of Sheffield, University of Texas at Austin
- Universität Augsburg
Time of origin
- 2009
Other Objects (12)
Concurrent Kleene Algebra and its foundations
Foundations of concurrent Kleene Algebra
Lazy Kleene Algebra
Concurrent Kleene Algebra
Concurrent Kleene Algebra
Lazy Kleene Algebra
Developments in concurrent Kleene algebra
Modal Kleene Algebra and Partial Correctness
Non-associative Kleene algebra and temporal logics
Kleene Algebra with Domain
Guest editor's introduction: Special issue on Relation Algebra and Kleene Algebra
Developments in Concurrent Kleene Algebra
Concurrent Kleene Algebra and its foundations
Foundations of concurrent Kleene Algebra
Lazy Kleene Algebra
Concurrent Kleene Algebra
Concurrent Kleene Algebra
Lazy Kleene Algebra
Developments in concurrent Kleene algebra
Modal Kleene Algebra and Partial Correctness
Non-associative Kleene algebra and temporal logics
Kleene Algebra with Domain
Guest editor's introduction: Special issue on Relation Algebra and Kleene Algebra
Developments in Concurrent Kleene Algebra
Concurrent Kleene Algebra and its foundations
Foundations of concurrent Kleene Algebra
Lazy Kleene Algebra
Concurrent Kleene Algebra
Concurrent Kleene Algebra
Lazy Kleene Algebra
Developments in concurrent Kleene algebra
Modal Kleene Algebra and Partial Correctness
Non-associative Kleene algebra and temporal logics
Kleene Algebra with Domain
Guest editor's introduction: Special issue on Relation Algebra and Kleene Algebra