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

49,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

28.03.1994

Abbildungen

VIII, 404 p.

Herausgeber

Hans J. Schneider + weitere

Verlag

Springer Berlin

Seitenzahl

404

Maße (L/B/H)

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

Gewicht

622 g

Auflage

1994

Sprache

Englisch

ISBN

978-3-540-57787-4

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

28.03.1994

Abbildungen

VIII, 404 p.

Herausgeber

Verlag

Springer Berlin

Seitenzahl

404

Maße (L/B/H)

23,5/15,5/2,3 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

Ein neues Kapitel für Ihre Bücher

Ein neues Kapitel für Ihre Bücher

Schenken Sie Ihren alten Schätzen ein zweites Leben und erhalten dafür eine Thalia Geschenkkarte.

Jetzt verkaufen
Jetzt verkaufen

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.