Search alternatives:
"graph rewriting" » "graph writing"
Cover Image
Read Now

61
Published 1995
Springer Berlin Heidelberg
Table of Contents: “... graphs -- Specification of graph translators with triple graph grammars -- Using programmed graph...”
Cover Image
Read Now

62
Published 1997
Springer Berlin Heidelberg
“... documents the state of the art in the area. Among the topics addressed are graph algorithms, graph rewriting...”
Cover Image
Read Now

63
Published 1991
Springer Berlin Heidelberg
Table of Contents: “... on decision properties -- Algebraic graph rewriting using a single pushout -- Unifying initial and loose...”
Cover Image
Read Now

64
Published 1996
Springer Berlin Heidelberg
Table of Contents: “... to resolve second order effects -- How to uniformly specify program analysis and transformation with graph...”
Cover Image
Read Now

65
Published 2014
Springer International Publishing
Table of Contents: “...Approximations for Stochastic Graph Rewriting -- Computing Maximal Bisimulations -- Improving...”
Cover Image
Read Now

66
Published 1996
Springer Berlin Heidelberg
Table of Contents: “...Parallel multiset processing: From explicit coordination to chemical reaction -- Graph rewriting...”
Cover Image
Read Now

67
Published 2012
Springer Berlin Heidelberg
“... algorithms and their complexity, graph grammars and graph rewriting systems, graph-based modeling, graph...”
Cover Image
Read Now

68
by Hussmann
Published 1993
Birkhäuser
Table of Contents: “...: Implementation and Examples -- 5.1 Term Rewriting -- 5.2 Graph Rewriting -- 5.3 Examples -- 6: Partial...”
Cover Image
Read Now

69
Published 2009
Springer Berlin Heidelberg
Table of Contents: “... Polygonal Hybrid Systems -- Hierarchical Graph Rewriting as a Unifying Tool for Analyzing and Understanding...”
Cover Image
Read Now

70
Published 2010
Springer Berlin Heidelberg
“... and network algorithms and their complexity, graph grammars and graph rewriting systems, graph-based modeling...”
Cover Image
Read Now

71
Published 2000
Springer Berlin Heidelberg
Table of Contents: “... -- Is the Standard Proof System for SAT P-Optimal?.-A General Framework for Types in Graph Rewriting -- The Ground...”
Cover Image
Read Now

72
Published 1996
Springer Berlin Heidelberg
Table of Contents: “... graph rewriting -- Petri boxes and finite precedence -- Constrained properties, semilinear systems...”
Cover Image
Read Now

73
Published 1998
Springer Berlin Heidelberg
Table of Contents: “... -- Refining formal specifications of human computer interaction by graph rewrite rules -- RELVIEW — A system...”
Cover Image
Read Now

74
Published 2004
Springer Berlin Heidelberg
Table of Contents: “... Approach to Graph Rewriting -- A Denotational Account of Untyped Normalization by Evaluation -- On Finite...”
Cover Image
Read Now

75
Published 1989
Springer Berlin Heidelberg
Table of Contents: “... of term graph rewriting systems -- Towards a theory of simulation for verification of concurrent systems...”
Cover Image
Read Now

76
Published 1981
Springer Vienna
Table of Contents: “...Application of Graph Rewriting to Optimization and Parallelization of Programs/Anwendung von...”
Cover Image
Read Now

77
Published 2008
Springer Berlin Heidelberg
Table of Contents: “... Decision Graphs -- Congruence Results of Scope Equivalence for a Graph Rewriting Model of Concurrent...”
Cover Image
Read Now

78
Published 2005
Springer Berlin Heidelberg
Table of Contents: “... Grammars – A Graph Rewriting Approach to Dynamical Systems with a Dynamical Structure -- A New Programming...”
Cover Image
Read Now

79
Published 2003
Springer Berlin Heidelberg
Table of Contents: “... and Mismatch -- Expressive Synchronization Types for Inheritance in the Join Calculus -- Term Graph Rewriting...”
Cover Image
Read Now

80
Published 2010
Springer Berlin Heidelberg
Table of Contents: “... and Model Transformations Using Ontology and Graph Rewriting Techniques -- On-the-Fly Testing by Using...”