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 2001
Springer Berlin Heidelberg
Table of Contents: ... -- Session 2 -- Solo Diagrams -- Observational Equivalence for Synchronized Graph Rewriting with Mobility...

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

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

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

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

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

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

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

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

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

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

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

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

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

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...