Modal Kleene Algebra and partial correctness

zu Verbundenen Objekten

Standort
Deutsche Nationalbibliothek Frankfurt am Main
Umfang
Online-Ressource
Sprache
Englisch

Erschienen in
In: Lecture Notes in Computer Science, 3116, S. 379-393

Ereignis
Veröffentlichung
(wo)
Augsburg
(wer)
Universität Augsburg, Springer
(wann)
2004
Urheber

DOI
10.1007/978-3-540-27815-3_30
URN
urn:nbn:de:bvb:384-opus4-359615
Rechteinformation
Der Zugriff auf das Objekt ist unbeschränkt möglich.
Letzte Aktualisierung
25.03.2025, 13:48 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

Entstanden

  • 2004

Ähnliche Objekte (12)

Modal Kleene Algebra and Partial Correctness

Modal Kleene Algebra and Partial Correctness

Algebras of modal operators and partial correctness

Algebras of modal operators and partial correctness

Termination in Modal Kleene Algebra

Termination in Modal Kleene Algebra

Lazy Kleene Algebra

Lazy Kleene Algebra

Kleene under a Modal Demonic Star

Kleene under a Modal Demonic Star

Modal Kleene algebra and applications - a survey

Modal Kleene algebra and applications - a survey

Greedy-like algorithms in modal Kleene algebra

Greedy-like algorithms in modal Kleene algebra

Kleene under a modal demonic star

Kleene under a modal demonic star

Termination in modal kleene algebra

Termination in modal kleene algebra

Lazy Kleene Algebra

Lazy Kleene Algebra

Kleene getting lazy

Kleene getting lazy

Knowledge and Games in Modal Semirings

Knowledge and Games in Modal Semirings

Verbundene Objekte