ScienceOpen:
research and publishing network
For Publishers
Discovery
Metadata
Peer review
Hosting
Publishing
For Researchers
Join
Publish
Review
Collect
My ScienceOpen
Sign in
Register
Dashboard
Blog
About
Search
Advanced search
My ScienceOpen
Sign in
Register
Dashboard
Search
Search
Advanced search
For Publishers
Discovery
Metadata
Peer review
Hosting
Publishing
For Researchers
Join
Publish
Review
Collect
Blog
About
46
views
12
references
Top references
cited by
18
Cite as...
0 reviews
Review
0
comments
Comment
0
recommends
+1
Recommend
0
collections
Add to
0
shares
Share
Twitter
Sina Weibo
Facebook
Email
3,344
similar
All similar
Record
: found
Abstract
: not found
Book Chapter
: not found
Graph Transformations
Representing First-Order Logic Using Graphs
other
Author(s):
Arend Rensink
Publication date
(Print):
2004
Publisher:
Springer Berlin Heidelberg
Read this book at
Publisher
Buy book
Review
Review book
Invite someone to review
Bookmark
Cite as...
There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.
Related collections
Genome Engineering using CRISPR
Most cited references
12
Record
: found
Abstract
: not found
Book Chapter
: not found
ALGEBRAIC APPROACHES TO GRAPH TRANSFORMATION – PART I: BASIC CONCEPTS AND DOUBLE PUSHOUT APPROACH
A Corradini
,
U. Montanari
,
F. Rossi
…
(1997)
0
comments
Cited
41
times
– based on
0
reviews
Bookmark
Record
: found
Abstract
: not found
Article
: not found
Graph expressions and graph rewritings
Bruno Courcelle
,
Michel Bauderon
(1987)
0
comments
Cited
25
times
– based on
0
reviews
Review now
Bookmark
Record
: found
Abstract
: not found
Book Chapter
: not found
ALGEBRAIC APPROACHES TO GRAPH TRANSFORMATION – PART II: SINGLE PUSHOUT APPROACH AND COMPARISON WITH DOUBLE PUSHOUT APPROACH
H. Ehrig
,
R Heckel
,
M Korff
…
(1997)
0
comments
Cited
18
times
– based on
0
reviews
Bookmark
All references
Author and book information
Book Chapter
Publication date (Print):
2004
Pages
: 319-335
DOI:
10.1007/978-3-540-30203-2_23
SO-VID:
f8308e72-ab97-4b28-896e-3a5864d49e48
History
Data availability:
Comments
Comment on this book
Sign in to comment
Book chapters
pp. 22
Rule Execution in Graph-Based Incremental Interactive Integration Tools
pp. 54
Event-Driven Grammars: Towards the Integration of Meta-modelling and Graph Transformation
pp. 144
Adhesive High-Level Replacement Categories and Systems
pp. 161
Fundamental Theory for Typed Attributed Graph Transformation
pp. 287
Constraints and Application Conditions: From Graphs to High-Level Structures
pp. 319
Representing First-Order Logic Using Graphs
pp. 383
Translating Java Code to Graph Transformation Systems
Similar content
3,344
Learning to combine foveal glimpses with a third-order Boltzmann machine
Authors:
H. Larochelle
,
GE HINTON
,
GE Hinton
…
Local Structure and Short-Range Order in a NiCoCr Solid Solution Alloy
Authors:
F Zhang
,
Shijun Zhao
,
Ke Jin
…
Formation condition and effect on the early stages of plastic deformation of chemical short-range order in Cr-Co-Ni medium-entropy alloy
Authors:
Takeshi Teramoto
,
Kentaro Kitasumi
,
Ryota Shimohara
…
See all similar
Cited by
18
Correctness of high-level transformation systems relative to nested conditions
Authors:
ANNEGRET HABEL
,
KARL-HEINZ PENNEMANN
Model Checking Dynamic States in GROOVE
Authors:
Harmen Kastenberg
,
Arend Rensink
Nested Constraints and Application Conditions for High-Level Structures
Authors:
Annegret Habel
,
Karl-Heinz Pennemann
See all cited by