Quantales and temporal logics

zu Verbundenen Objekten

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

Erschienen in
In: Lecture Notes in Computer Science, 4019, S. 263-277

Ereignis
Veröffentlichung
(wo)
Augsburg
(wer)
Universität Augsburg, Springer
(wann)
2006
Urheber

DOI
10.1007/11784180_21
URN
urn:nbn:de:bvb:384-opus4-359342
Rechteinformation
Der Zugriff auf das Objekt ist unbeschränkt möglich.
Letzte Aktualisierung
25.03.2025, 13:51 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

  • 2006

Ähnliche Objekte (12)

Non-associative Kleene algebra and temporal logics

Non-associative Kleene algebra and temporal logics

Quantales and Temporal Logics

Quantales and Temporal Logics

Non-associative Kleene algebra and temporal logics

Non-associative Kleene algebra and temporal logics

An Algebraic Approach to Systolic Circuits

An Algebraic Approach to Systolic Circuits

The Linear Algebra of UTP

The Linear Algebra of UTP

Ideal Stream Algebra

Ideal Stream Algebra

Deductive Hardware Design: A Functional Approach

Deductive Hardware Design: A Functional Approach

Knowledge and Games in Modal Semirings

Knowledge and Games in Modal Semirings

Lazy Kleene Algebra

Lazy Kleene Algebra

Ordered and continuous models of higher-order specifications

Ordered and continuous models of higher-order specifications

Lazy Kleene Algebra

Lazy Kleene Algebra

The linear algebra of UTP

The linear algebra of UTP

Verbundene Objekte