Polynomials, fragments of temporal logic and the variety DA over traces

zu Verbundenen Objekten

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

Erschienen in
Technischer Bericht / Universität Stuttgart, Fakultät Informatik, Elektrotechnik und Informationstechnik (früher: Bericht / Universität Stuttgart, Fakultät Informatik) ; 2006,3

Klassifikation
Mathematik
Schlagwort
Spur ; Temporale Logik

Ereignis
Veröffentlichung
(wo)
Stuttgart
(wer)
Universitätsbibliothek der Universität Stuttgart
(wann)
2006
Urheber

URN
urn:nbn:de:bsz:93-opus-25400
Rechteinformation
Der Zugriff auf das Objekt ist unbeschränkt möglich.
Letzte Aktualisierung
25.03.2025, 13:56 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)

Temporal Logic

Temporal Logic

German in Samoa: Historical traces of a colonial variety

German in Samoa: Historical traces of a colonial variety

German in Samoa: Historical traces of a colonial variety

Artikel

German in Samoa: Historical traces of a colonial variety

Markov temporal logic

Markov temporal logic

Concurrent temporal logic

Concurrent temporal logic

Tense or temporal logic

Tense or temporal logic

Temporal logic, Pt. 2

Temporal logic, Pt. 2

Temporal logic, [Pt. 1]

Temporal logic, [Pt. 1]

Inductive temporal logic programming

Hochschulschrift

Inductive temporal logic programming

Generalized Absorptive Polynomials and Provenance Semantics for Fixed-Point Logic

Generalized Absorptive Polynomials and Provenance Semantics for Fixed-Point Logic

Proving Linearizability with Temporal Logic

Proving Linearizability with Temporal Logic

Probabilistic metric temporal graph logic

Probabilistic metric temporal graph logic

Verbundene Objekte