Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 205,547,624 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
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.
2014
2014
Polymorphic Single-Pushout Graph Transformation
M. Löwe
,
H. König
,
Christoph Schulz
FASE
2014
Corpus ID: 12221865
The paper extends single-pushout graph transformation by polymorphism, a key concept in object-oriented design. The notions sub…
Expand
2010
2010
Towards Theorem Proving Graph Grammars using Event-B
L. Ribeiro
,
F. Dotti
,
Simone A. C. Cavalheiro
,
F. Dillenburg
Electron. Commun. Eur. Assoc. Softw. Sci. Technol…
2010
Corpus ID: 19037516
Graph grammars may be used as specification technique for different kinds of systems, specially in situations in which states are…
Expand
Highly Cited
2006
Highly Cited
2006
GrGen: A Fast SPO-Based Graph Rewriting Tool
Rubino Geiß
,
G. V. Batz
,
Daniel Grund
,
Sebastian Hack
,
A. Szalkowski
ICGT
2006
Corpus ID: 9865129
Graph rewriting is a powerful technique that requires graph pattern matching, which is an NP-complete problem. We present GrGen…
Expand
1999
1999
Algebraic Transformation of Unary Partial Algebras II: Single-Pushout Approach
P. Burmeister
,
M. Monserrat
,
F. Rosselló
,
G. Valiente
Theor. Comput. Sci.
1999
Corpus ID: 179028
1997
1997
Parallel High-Level Replacement Systems
G. Taentzer
Theor. Comput. Sci.
1997
Corpus ID: 206057388
1996
1996
Towards Synchronous and Asynchronous Graph Transformations
G. Taentzer
Fundam. Informaticae
1996
Corpus ID: 16555395
Synchronous and asynchronous graph transformations are discussed on the basis of distributed graph transformations. All types of…
Expand
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
1993
1993
Hyperedge Replacement Jungle Rewriting for Term-Rewriting Systems and Programming
A. Corradini
,
F. Rossi
Theor. Comput. Sci.
1993
Corpus ID: 205094823
1993
1993
Amalgamated Graph Transformations and Their Use for Specifying AGG - an Algebraic Graph Grammar System
G. Taentzer
,
Martin-Uwe Beyer
Dagstuhl Seminar on Graph Transformations in…
1993
Corpus ID: 8739073
The Agg-system is a prototype implementation of the algebraic approach to graph transformation. It consists of a flexible graph…
Expand
1993
1993
Parallel and Distributed Derivations in the Single-Pushout Approach
H. Ehrig
,
M. Löwe
Theor. Comput. Sci.
1993
Corpus ID: 114858
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
,
Terms of Service
, and
Dataset License
ACCEPT & CONTINUE