Record: found
Abstract: not found
Book Chapter: not found

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

Bookmark

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

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:

Representing First-Order Logic Using Graphs

Read this book at

Related collections

Genome Engineering using CRISPR

Most cited references 12

ALGEBRAIC APPROACHES TO GRAPH TRANSFORMATION – PART I: BASIC CONCEPTS AND DOUBLE PUSHOUT APPROACH

Graph expressions and graph rewritings

ALGEBRAIC APPROACHES TO GRAPH TRANSFORMATION – PART II: SINGLE PUSHOUT APPROACH AND COMPARISON WITH DOUBLE PUSHOUT APPROACH

Author and book information

Book Chapter

History

Comments

Comment on this book

Book chapters

Similar content 2,873

Cited by 18