Browse
Publications
Preprints
About
About UCL Open: Env.
Aims and Scope
Editorial Board
Indexing
APCs
How to cite
Publishing policies
Editorial policy
Peer review policy
Equality, Diversity & Inclusion
About UCL Press
Contact us
For authors
Information for authors
How it works
Benefits of publishing with us
Submit
How to submit
Preparing your manuscript
Article types
Open Data
ORCID
APCs
Contributor agreement
For reviewers
Information for reviewers
Review process
How to peer review
Peer review policy
My ScienceOpen
Sign in
Register
Dashboard
Search
Browse
Publications
Preprints
About
About UCL Open: Env.
Aims and Scope
Editorial Board
Indexing
APCs
How to cite
Publishing policies
Editorial policy
Peer review policy
Equality, Diversity & Inclusion
About UCL Press
Contact us
For authors
Information for authors
How it works
Benefits of publishing with us
Submit
How to submit
Preparing your manuscript
Article types
Open Data
ORCID
APCs
Contributor agreement
For reviewers
Information for reviewers
Review process
How to peer review
Peer review policy
My ScienceOpen
Sign in
Register
Dashboard
Search
45
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,274
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,274
The climatic impact of food consumption in a representative sample of Irish adults and implications for food and nutrition policy
Authors:
Mary McCarthy
,
Sinéad N. McCarthy
,
John Hyland
…
Ultrasonic-Assisted Synthesis of N-Doped, Multicolor Carbon Dots toward Fluorescent Inks, Fluorescence Sensors, and Logic Gate Operations
Authors:
Jiali Xu
,
Kai Cui
,
Tianyu Gong
…
Genome sequence of the pink–pigmented marine bacterium Loktanella hongkongensis type strain (UST950701–009PT), a representative of the Roseobacter group
Authors:
Stanley Lau
,
Thomas Riedel
,
Anne Fiebig
…
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