Kleene algebra with domain

to connected objects

Location
Deutsche Nationalbibliothek Frankfurt am Main
Extent
Online-Ressource
Language
Englisch

Bibliographic citation
In: ACM Transactions on Computational Logic, 7, 4, S. 798-833

Event
Veröffentlichung
(where)
Augsburg
(who)
Universität Augsburg, Association for Computing Machinery (ACM)
(when)
2006
Creator

DOI
10.1145/1183278.1183285
URN
urn:nbn:de:bvb:384-opus4-539870
Rights
Der Zugriff auf das Objekt ist unbeschränkt möglich.
Last update
13.04.2025, 5:20 AM CEST

Data provider

This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Show original at data provider

Associated

Time of origin

  • 2006

Other Objects (12)

Lazy Kleene Algebra

Lazy Kleene Algebra

Kleene Algebra with Domain

Kleene Algebra with Domain

Lazy Kleene Algebra

Lazy Kleene Algebra

Modal Kleene Algebra and Partial Correctness

Modal Kleene Algebra and Partial Correctness

Non-associative Kleene algebra and temporal logics

Non-associative Kleene algebra and temporal logics

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

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

Termination in Modal Kleene Algebra

Termination in Modal Kleene Algebra

Kleene getting lazy

Kleene getting lazy

Modal Kleene Algebra and partial correctness

Modal Kleene Algebra and partial correctness

Ideal Stream Algebra

Ideal Stream Algebra

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

Related objects