Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 237,147,102 papers from all fields of science
Search
Sign In
Create Free Account
Single pushout graph rewriting
Known as:
Single-pushout approach
In computer science, single pushout graph rewriting or SPO graph rewriting refers to a mathematical framework for graph rewriting, and is used in…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
2 relations
Computer science
Graph rewriting
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2012
2012
Graphs , rewriting and causality in rule-based models
V. Danos
,
Jérôme Feret
,
+5 authors
G. Winskel
2012
Corpus ID: 14742453
The Kappa calculus defines how a graph, representing a system of linked agents, can be modified by rules that specify which…
Expand