Greedy-like algorithms in modal Kleene algebra

zu Verbundenen Objekten

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

Erschienen in
In: Lecture Notes in Computer Science, 3051, S. 202-214

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

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

Termination in Modal Kleene Algebra

Termination in Modal Kleene Algebra

Lazy Kleene Algebra

Lazy Kleene Algebra

Modal Kleene Algebra and partial correctness

Modal Kleene Algebra and partial correctness

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

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

Characterizing Determinacy in Kleene Algebras

Characterizing Determinacy in Kleene Algebras

Verbundene Objekte