Basics of Modal Semirings and of Kleene/ Omega Algebras

to connected objects

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 ; 2019-03

Event
Veröffentlichung
(where)
Augsburg
(who)
Universität Augsburg
(when)
2019
Creator
Möller, Bernhard

URN
urn:nbn:de:bvb:384-opus4-639889
Rights
Der Zugriff auf das Objekt ist unbeschränkt möglich.
Last update
25.03.2025, 1:44 PM CET

Data provider

This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Show original at data provider

Associated

  • Möller, Bernhard
  • Universität Augsburg

Time of origin

  • 2019

Other Objects (12)

Typed Kleene Algebras

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

Termination in modal kleene algebra

Termination in modal kleene algebra

Termination in Modal Kleene Algebra

Termination in Modal Kleene Algebra

Kleene Stars in Shuffle Algebras: A (tangled) tale of various (bi-)algebras

zweidimensionales bewegtes Bild

Kleene Stars in Shuffle Algebras: A (tangled) tale of various (bi-)algebras

Properties of overwriting for updates in typed Kleene algebras

Properties of overwriting for updates in typed Kleene algebras

Kleene under a modal demonic star

Kleene under a modal demonic star

Modal Kleene Algebra and partial correctness

Modal Kleene Algebra and partial correctness

Modal Kleene Algebra and Partial Correctness

Modal Kleene Algebra and Partial Correctness

Kleene under a Modal Demonic Star

Kleene under a Modal Demonic Star

Related objects