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

1
by Dörr, Heiko
Published 1995
Springer Berlin Heidelberg
Table of Contents: “...Graph rewriting systems — The basic concepts -- UBS-Graph rewriting systems — matching subgraphs...”
Cover Image
Read Now

2
Published 1994
Springer Berlin Heidelberg
Table of Contents: “... -- Extending graph rewriting with copying -- Graph-grammar semantics of a higher-order programming language...”
Cover Image
Read Now

3
Published 2000
Springer Berlin Heidelberg
Table of Contents: “... Using a Graph Rewrite System - A Typical Experience ?! - -- Towards Integrating Multiple Perspectives...”
Cover Image
Read Now

4
by Hasegawa, Masahito
Published 1999
Springer London
Table of Contents: “... Relating Models -- 1.6 Recursion from Cyclic Sharing -- 1.7 Action Calculi as Graph Rewriting -- 1.8...”
Cover Image
Read Now

5
Published 1996
Springer Berlin Heidelberg
Table of Contents: “...A partial algebras approach to graph transformation -- The contractum in algebraic graph rewriting...”
Cover Image
Read Now

6
Published 1991
Springer Berlin Heidelberg
Table of Contents: “...Transfinite reductions in orthogonal term rewriting systems -- Redex capturing in term graph...”
Cover Image
Read Now

7
Published 1987
Springer Berlin Heidelberg
Table of Contents: “... -- Specifying functional and timing behavior for real-time applications -- Term graph rewriting -- Towards...”
Cover Image
Read Now

8
Published 1991
Springer Berlin Heidelberg
Table of Contents: “... for the rewrite rule machine -- Graph rewriting as a computational model -- An ultra-multiprocessing machine...”
Cover Image
Read Now

9
Published 1995
Springer Berlin Heidelberg
Table of Contents: “... of certain bicriteria location problems -- On termination of graph rewriting -- A uniform approach to graph...”
Cover Image
Read Now

10
Published 1992
Springer Berlin Heidelberg
Table of Contents: “... -- Graph rewriting systems and their application to network reliability analysis -- Nondeterministic...”
Cover Image
Read Now

11
Published 1991
Springer Berlin Heidelberg
Table of Contents: “... of the PROGRESS-Editor: A text-oriented hybrid editor for PROgrammed Graph REwriting SyStems -- PLEXUS: Tools...”
Cover Image
Read Now

12
by Ohlebusch, Enno
Published 2002
Springer New York
Table of Contents: “... Termination -- 6 Relative Undecidability -- 7 Conditional Rewrite Systems -- 8 Modularity -- 9 Graph Rewriting...”
Cover Image
Read Now

13
Published 1993
Springer Berlin Heidelberg
Table of Contents: “...Reduce the redex ? ReDuX -- Agg — An implementation of algebraic graph rewriting -- Smaran: A...”
Cover Image
Read Now

14
Published 1996
Springer Berlin Heidelberg
Table of Contents: “...Modularity of termination in term graph rewriting -- Confluence of terminating conditional rewrite...”
Cover Image
Read Now

15
Published 1993
Springer Berlin Heidelberg
Table of Contents: “... substitutions -- Simple type inference for term graph rewriting systems -- Consistency and semantics...”
Cover Image
Read Now

16
Published 1991
Springer Berlin Heidelberg
Table of Contents: “... rules -- A simplifier for untyped lambda expressions -- Parallel graph rewriting on loosely coupled...”
Cover Image
Read Now

17
Published 1976
Springer Berlin Heidelberg
Table of Contents: “... Formal languages as models for biological growth -- 2.4 Graph rewriting systems and their application...”
Cover Image
Read Now

18
Published 1995
Springer Berlin Heidelberg
Table of Contents: “... problem for Thue systems with a few relations -- Some extensions of rewriting -- Graph rewriting: A...”
Cover Image
Read Now

19
Published 2000
Springer Berlin Heidelberg
Table of Contents: “... of Strictness Analysis via Term Graph Rewriting -- Checking Cleanness in Linked Lists -- Confidentiality...”
Cover Image
Read Now

20
Published 1991
Springer London
Table of Contents: “... -- An Algorithmic and Semantic Approach to Debugging -- Abstract Interpretation of Term Graph Rewriting Systems...”