Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 228,393,515 papers from all fields of science
Search
Sign In
Create Free Account
Double pushout graph rewriting
Known as:
Double-pushout approach
In computer science, double pushout graph rewriting or (DPO graph rewriting) refers to a mathematical framework for graph rewriting. It was…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
7 relations
Computer science
Concurrency (computer science)
Graph (discrete mathematics)
Graph rewriting
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2016
2016
Fabrication and Investigation of Two-Component Film of 2,5-Diphenyloxazole and Octafluoronaphthalene Exhibiting Tunable Blue/Bluish Violet Fluorescence Based on Low Vacuum Physical Vapor Deposition…
Xiaoyu Zhai
,
Siqi Li
,
+5 authors
Qingyun Meng
2016
Corpus ID: 55220014
Organic luminescent materials play an important role in the fields of light-emitting diodes and fluorescent imaging. Moreover…
Expand
2010
2010
Partial Order Infinitary Term Rewriting and Böhm Trees
P. Bahr
International Conference on Rewriting Techniques…
2010
Corpus ID: 212274
We in vestigate an alternative model of infinitary term rewriting. Instead of a metric, a partial order on terms is employed to…
Expand
2010
2010
Wind and wave observations off the south Pacific Coast of Mexico using TerraSAR-X imagery
G. M. Díaz Méndez
,
S. Lehner
,
F. Ocampo-Torres
,
Xiao Ming Li
,
S. Brusch
2010
Corpus ID: 56089805
High-resolution TerraSAR-X images are analysed for the first time to investigate the effects of gap winds on the sea surface off…
Expand
2009
2009
Photophysical properties of the applications asymmetrically substituted spirobifluorenes spiro-DPO and spiro-MeO-DPO
Cornelia M. Brendel
,
F. Dias
,
T. Saragi
,
A. Monkman
,
J. Salbeck
2009
Corpus ID: 99147261
The photophysical behaviour of the oxadiazolyl (PBD) and diphenylamino (TAD) substituted spirobifluorenes 2',7'-bis-(N,N…
Expand
2005
2005
Termination of High-Level Replacement Units with Application to Model Transformation
Paolo Bottoni
,
M. Koch
,
F. Parisi-Presicce
,
G. Taentzer
VLFM
2005
Corpus ID: 10338352
2005
2005
Poly(fluorene-oxadiazole) copolymer-based light-emitting devices on a plastic substrate
Shu-jen Lee
,
Joseph R. Gallegos
,
J. Klein
,
M. David Curtis
,
J. Kanicki
2005
Corpus ID: 286617
2005
2005
Higher-Order Nets for Mobile Policies
Kathrin Hoffmann
,
Till Mossakowski
,
F. Parisi-Presicce
PNGT@ICGT
2005
Corpus ID: 14143986
Highly Cited
2003
Highly Cited
2003
Analysis of inconsistency in graph-based viewpoints: a category-theoretical approach
M. Sabetzadeh
,
S. Easterbrook
18th IEEE International Conference on Automated…
2003
Corpus ID: 12534092
Eliciting the requirements for a proposed system typically involves different stakeholders with different expertise…
Expand
1999
1999
Tool Support for ViewPoint-Oriented Software Development: Towards Integration of Multiple Perspectives by Distributed Graph Transformation
M. Goedicke
,
B. Enders
,
T. Meyer
,
G. Taentzer
Applications of Graph Transformations with…
1999
Corpus ID: 18650141
In order to support multiple perspectives in software development one needs a scheme which expresses explicitly all the views…
Expand
1994
1994
Synchronized Composition of Graph Grammar Productions
A. Corradini
,
F. Rossi
TAGT
1994
Corpus ID: 15653112
In the framework of the double-pushout approach to graph grammars, we propose a new notion of parallel composition, called…
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