Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 227,741,297 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
2004
2004
Derivations in Object-Oriented Graph Grammars
Ana Paula Lüdtke Ferreira
,
L. Ribeiro
International Conference on Graph Transformation
2004
Corpus ID: 31703802
This work aims to extend the algebraic single-pushout approach to graph transformation to model object-oriented systems…
Expand
2004
2004
Single-Pushout Transformation Of Total Algebras
R. Alberich
,
M. Llabrés
,
F. Rosselló
International Journal of Foundations of Computer…
2004
Corpus ID: 18982232
We characterize the pairs of partial homomorphisms of total Σ-algebras that have a pushout in the corresponding category, for an…
Expand
1999
1999
Algebraic Transformation of Unary Partial Algebras II: Single-Pushout Approach
P. Burmeister
,
M. Monserrat
,
F. Rosselló
,
G. Valiente
Theoretical Computer Science
1999
Corpus ID: 179028
1994
1994
Parallelism in single-pushout graph rewriting
M. Löwe
,
tJürgen Dingel
1994
Corpus ID: 116431551
The single-pushout approach to graph transformation comes equipped with an interesting parallel composition of rules and…
Expand
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
(opens in a new tab)
,
Terms of Service
(opens in a new tab)
, and
Dataset License
(opens in a new tab)
ACCEPT & CONTINUE