Graph Transformations in Computer Science [electronic resource] : International Workshop Dagstuhl Castle, Germany, January 4–8, 1993 Proceedings /

Graph Transformations in Computer Science [electronic resource] : International Workshop Dagstuhl Castle, Germany, January 4–8, 1993 Proceedings /

Show other versions (1)

The research area of graph grammars and graph transformations dates back only two decades. But already methods and results from the area of graph transformation have been applied in many fields of computer science, such as formal language theory, pattern recognition and generation, compiler construction, software engineering, concurrent and distributed systems modelling, and database design and theory. This volume contains 24 selected and revised papers from an international seminar held in Dagstuhl, Germany, in 1993. The papers cover topics in the following areas: foundations of graph grammars and transformations; and applications of graph transformations to concurrent computing, specification and programming, and pattern generation and recognition.

Saved in:
Bibliographic Details
Main Authors: Schneider, Hans Jürgen. editor., Ehrig, Hartmut. editor., SpringerLink (Online service)
Format: Texto biblioteca
Language:eng
Published: Berlin, Heidelberg : Springer Berlin Heidelberg, 1994
Subjects:Computer science., Software engineering., Data structures (Computer science)., Computers., Mathematical logic., Pattern recognition., Combinatorics., Computer Science., Pattern Recognition., Theory of Computation., Mathematical Logic and Formal Languages., Software Engineering., Data Structures.,
Online Access:http://dx.doi.org/10.1007/3-540-57787-4
Tags: Add Tag
No Tags, Be the first to tag this record!
id KOHA-OAI-TEST:210217
record_format koha
spelling KOHA-OAI-TEST:2102172018-07-30T23:42:11ZGraph Transformations in Computer Science [electronic resource] : International Workshop Dagstuhl Castle, Germany, January 4–8, 1993 Proceedings / Schneider, Hans Jürgen. editor. Ehrig, Hartmut. editor. SpringerLink (Online service) textBerlin, Heidelberg : Springer Berlin Heidelberg,1994.engThe research area of graph grammars and graph transformations dates back only two decades. But already methods and results from the area of graph transformation have been applied in many fields of computer science, such as formal language theory, pattern recognition and generation, compiler construction, software engineering, concurrent and distributed systems modelling, and database design and theory. This volume contains 24 selected and revised papers from an international seminar held in Dagstuhl, Germany, in 1993. The papers cover topics in the following areas: foundations of graph grammars and transformations; and applications of graph transformations to concurrent computing, specification and programming, and pattern generation and recognition.Path-controlled graph grammars for multiresolution image processing and analysis -- Syntax and semantics of hybrid database languages -- Decomposability helps for deciding logics of knowledge and belief -- Extending graph rewriting with copying -- Graph-grammar semantics of a higher-order programming language for distributed systems -- Abstract graph derivations in the double pushout approach -- Note on standard representation of graphs and graph derivations -- Jungle rewriting: An abstract description of a lazy narrowing machine -- Recognizable sets of graphs of bounded tree-width -- Canonical derivations for high-level replacement systems -- A computational model for generic graph functions -- Graphs and designing -- ESM systems and the composition of their computations -- Relational structures and their partial morphisms in view of single pushout rewriting -- Single pushout transformations of equationally defined graph structures with applications to actor systems -- Parallelism in single-pushout graph rewriting -- Semantics of full statecharts based on graph rewriting -- Contextual occurrence nets and concurrent constraint programming -- Uniform-modelling in graph grammar specifications -- Set-theoretic graph rewriting -- On relating rewriting systems and graph grammars to event structures -- Logic based structure rewriting systems -- Guaranteeing safe destructive updates through a type system with uniqueness information for graphs -- Amalgamated graph transformations and their use for specifying AGG — an algebraic graph grammar system.The research area of graph grammars and graph transformations dates back only two decades. But already methods and results from the area of graph transformation have been applied in many fields of computer science, such as formal language theory, pattern recognition and generation, compiler construction, software engineering, concurrent and distributed systems modelling, and database design and theory. This volume contains 24 selected and revised papers from an international seminar held in Dagstuhl, Germany, in 1993. The papers cover topics in the following areas: foundations of graph grammars and transformations; and applications of graph transformations to concurrent computing, specification and programming, and pattern generation and recognition.Computer science.Software engineering.Data structures (Computer science).Computers.Mathematical logic.Pattern recognition.Combinatorics.Computer Science.Pattern Recognition.Theory of Computation.Mathematical Logic and Formal Languages.Combinatorics.Software Engineering.Data Structures.Springer eBookshttp://dx.doi.org/10.1007/3-540-57787-4URN:ISBN:9783540483335
institution COLPOS
collection Koha
country México
countrycode MX
component Bibliográfico
access En linea
En linea
databasecode cat-colpos
tag biblioteca
region America del Norte
libraryname Departamento de documentación y biblioteca de COLPOS
language eng
topic Computer science.
Software engineering.
Data structures (Computer science).
Computers.
Mathematical logic.
Pattern recognition.
Combinatorics.
Computer Science.
Pattern Recognition.
Theory of Computation.
Mathematical Logic and Formal Languages.
Combinatorics.
Software Engineering.
Data Structures.
Computer science.
Software engineering.
Data structures (Computer science).
Computers.
Mathematical logic.
Pattern recognition.
Combinatorics.
Computer Science.
Pattern Recognition.
Theory of Computation.
Mathematical Logic and Formal Languages.
Combinatorics.
Software Engineering.
Data Structures.
spellingShingle Computer science.
Software engineering.
Data structures (Computer science).
Computers.
Mathematical logic.
Pattern recognition.
Combinatorics.
Computer Science.
Pattern Recognition.
Theory of Computation.
Mathematical Logic and Formal Languages.
Combinatorics.
Software Engineering.
Data Structures.
Computer science.
Software engineering.
Data structures (Computer science).
Computers.
Mathematical logic.
Pattern recognition.
Combinatorics.
Computer Science.
Pattern Recognition.
Theory of Computation.
Mathematical Logic and Formal Languages.
Combinatorics.
Software Engineering.
Data Structures.
Schneider, Hans Jürgen. editor.
Ehrig, Hartmut. editor.
SpringerLink (Online service)
Graph Transformations in Computer Science [electronic resource] : International Workshop Dagstuhl Castle, Germany, January 4–8, 1993 Proceedings /
description The research area of graph grammars and graph transformations dates back only two decades. But already methods and results from the area of graph transformation have been applied in many fields of computer science, such as formal language theory, pattern recognition and generation, compiler construction, software engineering, concurrent and distributed systems modelling, and database design and theory. This volume contains 24 selected and revised papers from an international seminar held in Dagstuhl, Germany, in 1993. The papers cover topics in the following areas: foundations of graph grammars and transformations; and applications of graph transformations to concurrent computing, specification and programming, and pattern generation and recognition.
format Texto
topic_facet Computer science.
Software engineering.
Data structures (Computer science).
Computers.
Mathematical logic.
Pattern recognition.
Combinatorics.
Computer Science.
Pattern Recognition.
Theory of Computation.
Mathematical Logic and Formal Languages.
Combinatorics.
Software Engineering.
Data Structures.
author Schneider, Hans Jürgen. editor.
Ehrig, Hartmut. editor.
SpringerLink (Online service)
author_facet Schneider, Hans Jürgen. editor.
Ehrig, Hartmut. editor.
SpringerLink (Online service)
author_sort Schneider, Hans Jürgen. editor.
title Graph Transformations in Computer Science [electronic resource] : International Workshop Dagstuhl Castle, Germany, January 4–8, 1993 Proceedings /
title_short Graph Transformations in Computer Science [electronic resource] : International Workshop Dagstuhl Castle, Germany, January 4–8, 1993 Proceedings /
title_full Graph Transformations in Computer Science [electronic resource] : International Workshop Dagstuhl Castle, Germany, January 4–8, 1993 Proceedings /
title_fullStr Graph Transformations in Computer Science [electronic resource] : International Workshop Dagstuhl Castle, Germany, January 4–8, 1993 Proceedings /
title_full_unstemmed Graph Transformations in Computer Science [electronic resource] : International Workshop Dagstuhl Castle, Germany, January 4–8, 1993 Proceedings /
title_sort graph transformations in computer science [electronic resource] : international workshop dagstuhl castle, germany, january 4–8, 1993 proceedings /
publisher Berlin, Heidelberg : Springer Berlin Heidelberg,
publishDate 1994
url http://dx.doi.org/10.1007/3-540-57787-4
work_keys_str_mv AT schneiderhansjurgeneditor graphtransformationsincomputerscienceelectronicresourceinternationalworkshopdagstuhlcastlegermanyjanuary481993proceedings
AT ehrighartmuteditor graphtransformationsincomputerscienceelectronicresourceinternationalworkshopdagstuhlcastlegermanyjanuary481993proceedings
AT springerlinkonlineservice graphtransformationsincomputerscienceelectronicresourceinternationalworkshopdagstuhlcastlegermanyjanuary481993proceedings
_version_ 1756268765738172416

Similar Items