- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Erschienen in
-
Reports / Technische Berichte der Fakultät für Angewandte Informatik der Universität Augsburg ; 2009-04
- Klassifikation
-
Informatik
- Schlagwort
-
Kleene-Algebra
- Ereignis
-
Veröffentlichung
- (wo)
-
Augsburg
- (wer)
-
Universität Augsburg
- (wann)
-
2009
- Beteiligte Personen und Organisationen
-
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-10944
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
25.03.2025, 13:43 MEZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Beteiligte
- 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
Entstanden
- 2009
Ähnliche Objekte (12)
Lazy Kleene Algebra
Concurrent Kleene Algebra
Lazy Kleene Algebra
Concurrent Kleene Algebra and its foundations
Foundations of Concurrent Kleene Algebra
Modal Kleene Algebra and Partial Correctness
Developments in concurrent Kleene algebra
Non-associative Kleene algebra and temporal logics
Guest editor's introduction: Special issue on Relation Algebra and Kleene Algebra
Kleene Algebra with Domain
Termination in Modal Kleene Algebra
Developments in Concurrent Kleene Algebra
Lazy Kleene Algebra
Concurrent Kleene Algebra
Lazy Kleene Algebra
Concurrent Kleene Algebra and its foundations
Foundations of Concurrent Kleene Algebra
Modal Kleene Algebra and Partial Correctness
Developments in concurrent Kleene algebra
Non-associative Kleene algebra and temporal logics
Guest editor's introduction: Special issue on Relation Algebra and Kleene Algebra
Kleene Algebra with Domain
Termination in Modal Kleene Algebra
Developments in Concurrent Kleene Algebra
Lazy Kleene Algebra
Concurrent Kleene Algebra
Lazy Kleene Algebra
Concurrent Kleene Algebra and its foundations
Foundations of Concurrent Kleene Algebra
Modal Kleene Algebra and Partial Correctness
Developments in concurrent Kleene algebra
Non-associative Kleene algebra and temporal logics
Guest editor's introduction: Special issue on Relation Algebra and Kleene Algebra
Kleene Algebra with Domain
Termination in Modal Kleene Algebra