Generalized Absorptive Polynomials and Provenance Semantics for Fixed-Point Logic

zu Verbundenen Objekten

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

Ereignis
Veröffentlichung
(wo)
Aachen
(wer)
Universitätsbibliothek der RWTH Aachen
(wann)
2019
Urheber
Dannert, Katrin M.
Grädel, Erich
Naaf, Matthias
Tannen, Val

DOI
10.18154/RWTH-2019-09537
URN
urn:nbn:de:101:1-2020100207480440651582
Rechteinformation
Der Zugriff auf das Objekt ist unbeschränkt möglich.
Letzte Aktualisierung
25.03.2025, 13:47 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

  • Dannert, Katrin M.
  • Grädel, Erich
  • Naaf, Matthias
  • Tannen, Val
  • Universitätsbibliothek der RWTH Aachen

Entstanden

  • 2019

Ähnliche Objekte (12)

Semiring Provenance for Büchi Games: Strategy Analysis with Absorptive Polynomials

Semiring Provenance for Büchi Games: Strategy Analysis with Absorptive Polynomials

Semiring Provenance for Fixed-Point Logic

Semiring Provenance for Fixed-Point Logic

Computing Least and Greatest Fixed Points in Absorptive Semirings

Computing Least and Greatest Fixed Points in Absorptive Semirings

Polynomials

Aufgabensammlung

Polynomials

Polynomials

Polynomials

Polynomials

Polynomials

Polynomials

Aufgabensammlung

Polynomials

Polynomials

Polynomials

Denotational Fixed-Point Semantics for Constructive Scheduling of Synchronous Concurrency

Denotational Fixed-Point Semantics for Constructive Scheduling of Synchronous Concurrency

Denotational Fixed Point Semantics for Constructive Scheduling of Synchronous Concurrency

Denotational Fixed Point Semantics for Constructive Scheduling of Synchronous Concurrency

Absorptive thermische Energiespeicherung

Hochschulschrift

Absorptive thermische Energiespeicherung

Bessel polynomials

Bessel polynomials

Verbundene Objekte