Search alternatives:
"graph rewriting" » "graph writing"

81
Published 2003
Springer Berlin Heidelberg
Table of Contents: ... -- Specification of Business Components -- Graph Rewrite Systems for Software Design Transformations -- Lightweight...

82
Published 2008
Springer Berlin Heidelberg
... algorithms and their complexity, graph grammars and graph rewriting systems, graph-based modeling, graph...

83
Published 2013
Springer Berlin Heidelberg
... of graph and network problems; computational geometry; graph grammars, graph rewriting systems and graph...

84
Published 2001
Springer Berlin Heidelberg
Table of Contents: ... -- Session 2 -- Solo Diagrams -- Observational Equivalence for Synchronized Graph Rewriting with Mobility...

85
Published 2008
Springer Berlin Heidelberg
Table of Contents: ... Paths to Find Flows -- A Unified Categorical Approach for Attributed Graph Rewriting...

86
Published 2006
Springer Berlin Heidelberg
Table of Contents: ...-Based Graph RewritingTool -- Realizing Graph Transformations by Pre- and Postconditions and Command...

87
Published 2004
Springer Berlin Heidelberg
Table of Contents: ... of Fault Behaviours Using Graph Grammars -- Object and Aspect-Oriented Systems -- Integrating Graph...

88
Published 1989
Springer Berlin Heidelberg
... rewriting, conditional rewriting, graph rewriting, functional and logic programming languages, lazy...

89
Published 2000
Springer Berlin Heidelberg
...-checking, veri?cation techniques, re?nement te- niques, term and graph rewriting, distributed programming...

90
Published 2017
Springer International Publishing
Table of Contents: ... Information Processing -- Models of Computing on Actin Filaments -- Modeling DNA Nanodevices Using Graph...

91
Published 2006
Springer Berlin Heidelberg
...- or object-oriented, graph rewriting, as well as associated typesystems, static analyses, abstract machines...

92
Published 2009
Springer Berlin Heidelberg
Table of Contents: ... in Mathematical Pedagogy -- Exploring a Quantum Theory with Graph Rewriting and Computer Algebra -- ACL2...

93
Published 2014
Springer International Publishing
Table of Contents: ... Software Applications: A Graph Rewriting and Ontology Based Approach -- Reengineering of Object-Oriented...

94
Published 2002
Springer Berlin Heidelberg
Table of Contents: ... ?-Graph Rewriting Without Rewriting -- Transformation: The Missing Link of MDA -- Termination Detection...

95
Published 1994
Springer Berlin Heidelberg
Table of Contents: ...-free handshaking -- Critical pairs in term graph rewriting -- Read-write causality --...

96
Published 1997
Springer Berlin Heidelberg
Table of Contents: ...Simplification orders for term graph rewriting -- Dependency-based action refinement -- A hierarchy...

97
Published 2010
Springer Berlin Heidelberg
Table of Contents: ... Termination Criteria by Isolating Deletion -- Session 4. Algebraic Foundations -- Graph Rewriting in Span...

98
Published 1993
Springer Berlin Heidelberg
Table of Contents: ... -- Label-selective ?-calculus syntax and confluence -- Conventional and uniqueness typing in graph rewrite...

99
Published 1991
Springer Berlin Heidelberg
Table of Contents: ... Associative Combinator Evaluation -- Static Analysis of Term Graph Rewriting Systems -- Scheduling...

100
Published 1992
Springer Berlin Heidelberg
Table of Contents: ... networks into rings of processors -- Asynchronous mobile processes and graph rewriting -- PTAH Introduction...