Kleene algebra with domain

zu Verbundenen Objekten

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

Erschienen in
In: ACM Transactions on Computational Logic, 7, 4, S. 798-833

Ereignis
Veröffentlichung
(wo)
Augsburg
(wer)
Universität Augsburg
(wann)
2006
Ereignis
Veröffentlichung
(wer)
Association for Computing Machinery (ACM)
(wann)
2006
Urheber

DOI
10.1145/1183278.1183285
URN
urn:nbn:de:bvb:384-opus4-539870
Rechteinformation
Der Zugriff auf das Objekt ist unbeschränkt möglich.
Letzte Aktualisierung
14.08.2025, 11:02 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

  • 2006

Ähnliche Objekte (12)

Kleene Algebra with Domain

Kleene Algebra with Domain

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

Greedy-like algorithms in modal Kleene algebra

Greedy-like algorithms in modal Kleene algebra

Modal Kleene algebra and applications - a survey

Modal Kleene algebra and applications - a survey

Kleene Modules

Kleene Modules

Concurrent Kleene Algebra and its foundations

Concurrent Kleene Algebra and its foundations

Concurrent Kleene Algebra

Concurrent Kleene Algebra

Concurrent Kleene Algebra

Concurrent Kleene Algebra

Preface: Relations and Kleene Algebra in computer science

Preface: Relations and Kleene Algebra in computer science

Termination in modal kleene algebra

Termination in modal kleene algebra

Verbundene Objekte