Modal Kleene algebra and applications - a survey

to connected objects

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

Bibliographic citation
In: Journal on Relational Methods in Computer Science, 1, S. 93-131

Event
Veröffentlichung
(where)
Augsburg
(who)
Universität Augsburg
(when)
2004
Creator

URN
urn:nbn:de:bvb:384-opus4-359682
Rights
Der Zugriff auf das Objekt ist unbeschränkt möglich.
Last update
14.08.2025, 10:54 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

  • 2004

Other Objects (12)

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

Kleene Algebra with Domain

Kleene Algebra with Domain

Termination in modal kleene algebra

Termination in modal kleene algebra

Kleene algebra with domain

Kleene algebra with domain

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

Related objects