Relations and Kleene algebras in computer science

zu Verbundenen Objekten

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

Erschienen in
In: The Journal of Logic and Algebraic Programming, 79, 8, S. 705-706

Ereignis
Veröffentlichung
(wo)
Augsburg
(wer)
Universität Augsburg, Elsevier BV
(wann)
2010
Urheber

DOI
10.1016/j.jlap.2010.07.011
URN
urn:nbn:de:bvb:384-opus4-393392
Rechteinformation
Der Zugriff auf das Objekt ist unbeschränkt möglich.
Letzte Aktualisierung
25.03.2025, 13:54 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

  • 2010

Ähnliche Objekte (12)

Characterizing determinacy in Kleene algebras

Characterizing determinacy in Kleene algebras

Relations and Kleene algebras in computer science

Relations and Kleene algebras in computer science

Kleene getting lazy

Kleene getting lazy

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

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

Characterizing Determinacy in Kleene Algebras

Characterizing Determinacy in Kleene Algebras

Algebras of modal operators and partial correctness

Algebras of modal operators and partial correctness

Lazy Kleene Algebra

Lazy Kleene Algebra

Kleene under a modal demonic star

Kleene under a modal demonic star

Calculating with acyclic and cyclic lists

Calculating with acyclic and cyclic lists

Geographic wayfinders and space-time algebra

Geographic wayfinders and space-time algebra

Lazy Kleene Algebra

Lazy Kleene Algebra

Developments in concurrent Kleene algebra

Developments in concurrent Kleene algebra

Verbundene Objekte