- Alternative title
-
Ein logikbasierter inkrementeller Ansatz für Graphreparatur
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Bibliographic citation
-
Technische Berichte des Hasso-Plattner-Instituts für Digital Engineering an der Universität Potsdam ; 126
- Event
-
Veröffentlichung
- (where)
-
Potsdam
- (who)
-
Universität Potsdam
- (when)
-
2019
- Event
-
Veröffentlichung
- (where)
-
Potsdam
- (who)
-
Universitätsverlag Potsdam
- (when)
-
2019
- Creator
- URN
-
urn:nbn:de:kobv:517-opus4-427517
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
14.08.2025, 10:57 AM CEST
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Associated
- Schneider, Sven
- Lambers, Leen
- Orejas, Fernando
- Universität Potsdam
- Universitätsverlag Potsdam
Time of origin
- 2019
Other Objects (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