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
51
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
2,931
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
2,931
Adam Landman, clinical decision support system, using expert consensus-derived logic and natural language processing, decreased sedation-type order errors for patients undergoing endoscopy
Authors:
L. SHEN
,
L Shen
Incorrectness Logic for Graph Programs
Authors:
Christopher Poskitt
An Integrated Geometric-Graph-Theoretic Approach to Representing Origami Structures and Their Corresponding Truss Frameworks
Authors:
Yao Chen
,
Pooya Sareh
,
Jiayi Yan
…
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