- Weitere Titel
-
Ein logikbasierter inkrementeller Ansatz für Graphreparatur
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Erschienen in
-
Technische Berichte des Hasso-Plattner-Instituts für Digital Engineering an der Universität Potsdam ; 126
- Ereignis
-
Veröffentlichung
- (wo)
-
Potsdam
- (wer)
-
Universität Potsdam
- (wann)
-
2019
- Ereignis
-
Veröffentlichung
- (wo)
-
Potsdam
- (wer)
-
Universitätsverlag Potsdam
- (wann)
-
2019
- Urheber
- URN
-
urn:nbn:de:kobv:517-opus4-427517
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
14.08.2025, 10:57 MESZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Beteiligte
- Schneider, Sven
- Lambers, Leen
- Orejas, Fernando
- Universität Potsdam
- Universitätsverlag Potsdam
Entstanden
- 2019
Ähnliche Objekte (12)
A logic-based incremental approach to graph repair
A logic-based incremental approach to graph repair featuring delta preservation
Ein Beitrag zur Leistungsflexibilisierung konventioneller Kraftwerkstechnologien unter Berücksichtigung der Energieeffizienz
Antivirale Wirkung von Echinacea-pallida- und Pelargonium-sidoides-Extrakten gegen Herpes-simplex-Viren Typ 1 und 2
Prävalenz und Epidemiologie des Rückenschmerzes in der Bundesrepublik Deutschland
Warum ziehen ältere Menschen in ein Heim? Ein Überblick über den aktuellen Forschungsstand
Probabilistic metric temporal graph logic
Probabilistic metric temporal graph logic
Probabilistic metric temporal graph logic
Probabilistic metric temporal graph logic
Formal testing of timed graph transformation systems using metric temporal graph logic
Triamidoaminkomplexe des Chrom (II-IV) und Kobalt (II)
A logic-based incremental approach to graph repair
A logic-based incremental approach to graph repair featuring delta preservation
Ein Beitrag zur Leistungsflexibilisierung konventioneller Kraftwerkstechnologien unter Berücksichtigung der Energieeffizienz
Antivirale Wirkung von Echinacea-pallida- und Pelargonium-sidoides-Extrakten gegen Herpes-simplex-Viren Typ 1 und 2
Prävalenz und Epidemiologie des Rückenschmerzes in der Bundesrepublik Deutschland
Warum ziehen ältere Menschen in ein Heim? Ein Überblick über den aktuellen Forschungsstand
Probabilistic metric temporal graph logic
Probabilistic metric temporal graph logic
Probabilistic metric temporal graph logic
Probabilistic metric temporal graph logic
Formal testing of timed graph transformation systems using metric temporal graph logic
Triamidoaminkomplexe des Chrom (II-IV) und Kobalt (II)
A logic-based incremental approach to graph repair
A logic-based incremental approach to graph repair featuring delta preservation
Ein Beitrag zur Leistungsflexibilisierung konventioneller Kraftwerkstechnologien unter Berücksichtigung der Energieeffizienz
Antivirale Wirkung von Echinacea-pallida- und Pelargonium-sidoides-Extrakten gegen Herpes-simplex-Viren Typ 1 und 2
Prävalenz und Epidemiologie des Rückenschmerzes in der Bundesrepublik Deutschland
Warum ziehen ältere Menschen in ein Heim? Ein Überblick über den aktuellen Forschungsstand
Probabilistic metric temporal graph logic
Probabilistic metric temporal graph logic
Probabilistic metric temporal graph logic
Probabilistic metric temporal graph logic
Formal testing of timed graph transformation systems using metric temporal graph logic