graph rewriting
Sign in to saveAlso known as graph transformation
Techniques for algorithmically creating a new graph from an existing graph
Connections
formal verification
Entity
logic
Entity
computer science
Entity
International Standard Book Number
Entity
Java
Entity
Q2407
Entity
Wayback Machine
Entity
Q2370
Entity
digital object identifier
Entity
International Standard Serial Number
Entity
XML
Entity
software engineering
Entity
object-oriented programming
Entity
graph theory
Entity
Q34010
Entity
graph
Entity
Q118398
Entity
injection
Entity
functional programming
Entity
parallel computing
Entity