Cover Image
Read Now

101
Published 2001
Springer Berlin Heidelberg
Table of Contents: “... -- Computational Completeness of Programming Languages Based on Graph Transformation -- Axioms for Recursion...”
Cover Image
Read Now

102
Published 2017
Springer Berlin Heidelberg
Table of Contents: “... Techniques -- GTS Families for the Flexible Composition of Graph Transformation Systems -- Symbolic Model...”
Cover Image
Read Now

103
Published 2000
Springer Berlin Heidelberg
Table of Contents: “... Definitions and Conditional Expressions with Rank 2 Intersection (Extended Abstract) -- Hierarchical Graph...”
Cover Image
Read Now

104
Published 2023
Springer Nature Singapore
Table of Contents: “... Social Robots Based on Multi-View Graph Transformer -- Scheduling Containerized Workflow in Multi-Cluster...”
Cover Image
Read Now

105
Published 1988
Springer Berlin Heidelberg
Table of Contents: “...Distributed parallelism of graph transformations -- A PrT-net representation of graph grammars...”
Cover Image
Read Now

106
Published 1995
Springer Berlin Heidelberg
Table of Contents: “... views -- Normalization of linear recursions based on graph transformations -- Data retrieval...”
Cover Image
Read Now

107
Published 2018
Springer International Publishing
“....), grammatical inference and algorithmic learning, graphs and graph transformation, language varieties...”
Cover Image
Read Now

108
Published 2007
Springer Berlin Heidelberg
Table of Contents: “...Graph Transformation Systems in CHR -- Multivalued Action Languages with Constraints in CLP(FD...”
Cover Image
Read Now

109
Published 2004
Springer Berlin Heidelberg
Table of Contents: “... and Requirements -- Integrating Meta-modelling Aspects with Graph Transformation for Efficient Visual Language...”
Cover Image
Read Now

110
Published 2011
Springer Berlin Heidelberg
Table of Contents: “... for Model-Driven Development and Deployment: An Overview -- Advances in Model Transformations by Graph...”
Cover Image
Read Now

111
Published 2008
Springer Berlin Heidelberg
Table of Contents: “...- and Satisfiability-Checking on Bi-infinite Time -- Formal Analysis of Workflows Using UML 2.0 Activities and Graph...”
Cover Image
Read Now

112
Published 2006
Springer Berlin Heidelberg
Table of Contents: “... and Transformations in Calculation Form -- Mappings Make Data Processing Go ’Round -- On the Use of Graph...”
Cover Image
Read Now

113
Published 2013
Springer Berlin Heidelberg
Table of Contents: “... Verification of Graph Transformations for Invariants Based on Edges’ Transitive Closure -- Sound Symbolic...”
Cover Image
Read Now

114
Published 2022
Springer International Publishing
Table of Contents: “... Detection Method Based on Heterogeneous Graph Transformer -- Network security and its applications...”
Cover Image
Read Now

115
Published 1992
Springer Berlin Heidelberg
Table of Contents: “... control structures for graph rewriting systems -- A language for generic graph-transformations...”
Cover Image
Read Now

116
Published 1995
Springer Berlin Heidelberg
Table of Contents: “... types based on algebraic graph transformations -- Modular termination of term rewriting systems...”
Cover Image
Read Now

117
Published 2006
Springer Berlin Heidelberg
Table of Contents: “... -- Compositional Binding in Network Domains -- Formal Modeling of Communication Protocols by Graph Transformation...”
Cover Image
Read Now

118
Published 2021
Springer International Publishing
Table of Contents: “... with the Use of Graph Transformation Rules -- Graph Rules Hierarchy as a Tool of Collaborative Game Narration...”
Cover Image
Read Now

119
Published 2002
Springer Berlin Heidelberg
Table of Contents: “... on Graph Transformation -- Stochastic Process Algebras Meet Eden -- From Specifcation to Verifcation...”
Cover Image
Read Now

120
by Jukan, Admela
Published 2001
Springer Vienna
Table of Contents: “... management architecture -- 3.5 Two methods for connection set-up -- 4 The methods based on graph...”