Typed Kleene Algebras

zu Verbundenen Objekten

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 ; 1999-08

Klassifikation
Mathematik
Schlagwort
Kleene-Algebra

Ereignis
Veröffentlichung
(wo)
Augsburg
(wer)
Universität Augsburg
(wann)
2006
Urheber
Möller, Bernhard

URN
urn:nbn:de:bvb:384-opus4-2130
Rechteinformation
Der Zugriff auf das Objekt ist unbeschränkt möglich.
Letzte Aktualisierung
25.03.2025, 13:57 MEZ

Datenpartner

Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Original beim Datenpartner anzeigen

Beteiligte

  • Möller, Bernhard
  • Universität Augsburg

Entstanden

  • 2006

Ähnliche Objekte (12)

Properties of overwriting for updates in typed Kleene algebras

Properties of overwriting for updates in typed Kleene algebras

Kleene algebras and pointer structures

Kleene algebras and pointer structures

Characterizing Determinacy in Kleene Algebras

Characterizing Determinacy in Kleene Algebras

Characterizing determinacy in Kleene algebras

Characterizing determinacy in Kleene algebras

Characterizing Determinacy in Kleene Algebras (Revised version)

Characterizing Determinacy in Kleene Algebras (Revised version)

Basics of Modal Semirings and of Kleene/ Omega Algebras

Basics of Modal Semirings and of Kleene/ Omega Algebras

Relations and Kleene algebras in computer science

Relations and Kleene algebras in computer science

Relations and Kleene algebras in computer science

Relations and Kleene algebras in computer science

Lazy Kleene Algebra

Lazy Kleene Algebra

Lazy Kleene Algebra

Lazy Kleene Algebra

Kleene getting lazy

Kleene getting lazy

Kleene Modules

Kleene Modules

Verbundene Objekte