- 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
- (when)
-
2006
- Event
-
Veröffentlichung
- (who)
-
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
-
14.08.2025, 11:02 AM CEST
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Associated
- Desharnais, Jules
- Möller, Bernhard
- Struth, Georg
- Universität Augsburg
- Association for Computing Machinery (ACM)
Time of origin
- 2006
Other Objects (12)
Lazy Kleene Algebra
Kleene Algebra with Domain
Lazy Kleene Algebra
Modal Kleene Algebra and Partial Correctness
Non-associative Kleene algebra and temporal logics
Guest editor's introduction: Special issue on Relation Algebra and Kleene Algebra
Termination in Modal Kleene Algebra
Modal Kleene Algebra and partial correctness
Kleene getting lazy
Ideal Stream Algebra
Greedy-like algorithms in modal Kleene algebra
Non-associative Kleene algebra and temporal logics
Lazy Kleene Algebra
Kleene Algebra with Domain
Lazy Kleene Algebra
Modal Kleene Algebra and Partial Correctness
Non-associative Kleene algebra and temporal logics
Guest editor's introduction: Special issue on Relation Algebra and Kleene Algebra
Termination in Modal Kleene Algebra
Modal Kleene Algebra and partial correctness
Kleene getting lazy
Ideal Stream Algebra
Greedy-like algorithms in modal Kleene algebra
Non-associative Kleene algebra and temporal logics
Lazy Kleene Algebra
Kleene Algebra with Domain
Lazy Kleene Algebra
Modal Kleene Algebra and Partial Correctness
Non-associative Kleene algebra and temporal logics
Guest editor's introduction: Special issue on Relation Algebra and Kleene Algebra
Termination in Modal Kleene Algebra
Modal Kleene Algebra and partial correctness
Kleene getting lazy
Ideal Stream Algebra
Greedy-like algorithms in modal Kleene algebra