Vor Ort
Merkzettel Warenkorb
  • Produktbild: Graph Transformations in Computer Science
  • Produktbild: Graph Transformations in Computer Science
Band 776

Graph Transformations in Computer Science International Workshop, Dagstuhl Castle, Germany, January 4-8, 1993. Proceedings

Aus der Reihe Lecture Notes in Computer Science

51,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

28.03.1994

Herausgeber

Hans J. Schneider + weitere

Verlag

Springer Berlin

Seitenzahl

404

Maße (L/B/H)

23,5/15,5/2,2 cm

Gewicht

622 g

Auflage

1994

Sprache

Englisch

ISBN

978-3-540-57787-4

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

28.03.1994

Herausgeber

Verlag

Springer Berlin

Seitenzahl

404

Maße (L/B/H)

23,5/15,5/2,2 cm

Gewicht

622 g

Auflage

1994

Sprache

Englisch

ISBN

978-3-540-57787-4

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: GPSR Kontakt

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)
  • Produktbild: Graph Transformations in Computer Science
  • Produktbild: Graph Transformations in Computer Science
  • 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.