Greedy-like algorithms in modal Kleene algebra

zu Verbundenen Objekten

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

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

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

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
14.08.2025, 10:55 MESZ

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

Modal Kleene Algebra and partial correctness

Modal Kleene Algebra and partial correctness

Modal Kleene algebra and applications - a survey

Modal Kleene algebra and applications - a survey

Kleene Modules

Kleene Modules

Kleene Algebra with Domain

Kleene Algebra with Domain

Termination in modal kleene algebra

Termination in modal kleene algebra

Kleene modules

Kleene modules

Algebras of modal operators and partial correctness

Algebras of modal operators and partial correctness

Kleene algebra with domain

Kleene algebra with domain

Greedy-Like Algorithms in Kleene Algebra

Greedy-Like Algorithms in Kleene Algebra

wp is wlp

wp is wlp

Verbundene Objekte