Monografie
On the operationalization of graph queries with generalized discrimination networks
- Sprache
-
Englisch
- Identifier
-
1219149292
- Reihe
-
Technische Berichte des Hasso-Plattner-Instituts für Digital Engineering an der Universität Potsdam; 106
Beteiligte Personen und Organisationen
- URN
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
26.01.2023, 13:58 MEZ
Objekttyp
- Monografie
Beteiligte
- Beyhl, Thomas
- Blouin, Dominique
- Giese, Holger
- Lambers, Leen
Ähnliche Objekte (12)
On the operationalization of graph queries with generalized discrimination networks
Toward bridging the gap between formal semantics and implementation of triple graph grammars
Automatic verification of behavior preservation at the transformation level for relational model transformation
Efficient and scalable graph view maintenance for deductive graph databases based on generalized discrimination networks
k-Inductive invariant checking for graph transformation systems
Symbolic model generation for graph properties
A logic-based incremental approach to graph repair
Probabilistic timed graph transformation systems
Metric temporal graph logic over typed attributed graphs
Metric temporal graph logic over typed attributed graphs : extended version
Metric temporal graph logic over typed attributed graphs
Inductive invariant checking with partial negative application conditions
On the operationalization of graph queries with generalized discrimination networks
Toward bridging the gap between formal semantics and implementation of triple graph grammars
Automatic verification of behavior preservation at the transformation level for relational model transformation
Efficient and scalable graph view maintenance for deductive graph databases based on generalized discrimination networks
k-Inductive invariant checking for graph transformation systems
Symbolic model generation for graph properties
A logic-based incremental approach to graph repair
Probabilistic timed graph transformation systems
Metric temporal graph logic over typed attributed graphs
Metric temporal graph logic over typed attributed graphs : extended version
Metric temporal graph logic over typed attributed graphs
Inductive invariant checking with partial negative application conditions
On the operationalization of graph queries with generalized discrimination networks
Toward bridging the gap between formal semantics and implementation of triple graph grammars
Automatic verification of behavior preservation at the transformation level for relational model transformation
Efficient and scalable graph view maintenance for deductive graph databases based on generalized discrimination networks
k-Inductive invariant checking for graph transformation systems
Symbolic model generation for graph properties
A logic-based incremental approach to graph repair
Probabilistic timed graph transformation systems
Metric temporal graph logic over typed attributed graphs
Metric temporal graph logic over typed attributed graphs : extended version
Metric temporal graph logic over typed attributed graphs