Termination in modal kleene algebra

zu Verbundenen Objekten

Standort
Deutsche Nationalbibliothek Frankfurt am Main
Umfang
Online-Ressource
Sprache
Englisch
Anmerkungen
In: Exploring new frontiers of theoretical informatics: IFIP 18th World Computer Congress; TC1 3rd International Conference on Theoretical Computer Science (TCS2004); 22 - 27 August 2004, Toulouse, France: WCC 2004, S. 653-666

Erschienen in
International Federation for Information Processing ; 155

Ereignis
Veröffentlichung
(wo)
Augsburg, Boston [u.a.]
(wer)
Universität Augsburg, Kluwer
(wann)
2004
Urheber
Beteiligte Personen und Organisationen
Lévy, Jean-Jacques

URN
urn:nbn:de:bvb:384-opus4-359609
Rechteinformation
Der Zugriff auf das Objekt ist unbeschränkt möglich.
Letzte Aktualisierung
25.03.2025, 13:49 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)

Termination in Modal Kleene Algebra

Termination in Modal Kleene Algebra

Modal Kleene Algebra and Partial Correctness

Modal Kleene Algebra and Partial Correctness

Lazy Kleene Algebra

Lazy 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

Greedy-like algorithms in modal Kleene algebra

Greedy-like algorithms in modal Kleene algebra

Lazy Kleene Algebra

Lazy Kleene Algebra

Modal Design Algebra

Modal Design Algebra

Kleene under a Modal Demonic Star

Kleene under a Modal Demonic Star

Non-associative Kleene algebra and temporal logics

Non-associative Kleene algebra and temporal logics

Kleene Algebra with Domain

Kleene Algebra with Domain

Guest editor's introduction: Special issue on Relation Algebra and Kleene Algebra

Guest editor's introduction: Special issue on Relation Algebra and Kleene Algebra

Verbundene Objekte