Detalles del Título
Detalles del Título

< Ant.
Sig. >
 
Título Fundamentals of algebraic graph transformationLibros / Impreso - Libros
Autor(es) Ehrig, Hartmut (Autor)
Ehrig, Karsten (Autor)
Prange, Ulrike (Autor)
Taentzer, Gabriele (Autor)
Publicación Berlin : Springer, c2010
Descripción Física xiii, 388 páginas : ilustraciones ; 24 cm.
Idioma Inglés;
Series Monographs in theoretical computer science. An EATCS Series
ISBN 3642068316
Clasificación(es) 511.5
SISTEMAS
Materia(s) Matemáticas discretas; Grafos; REESCRITURA DE GRAFOS; Gramáticas gráficas; Teoría de grafos; MORFISMO (MATEMATICAS); Categorías (Matemáticas);
Nota(s) Incluye referencias bibliográficas (p. [377]-383) e índice
CONTENIDO: General introduction -- Graphs, typed graphs, and the gluing construction -- Graph transformation systems -- Adhesive high-level replacement categories -- Adhesive high-level replacement systems -- Embedding and local confluence -- Constraints and application conditions -- Typed attributed graphs -- Typed attributed graph transformation systems -- Embedding and local confluence for typed AGT systems -- Adhesive HLR categories for typed attributed graphs -- Constraints, application conditions and termination for TAGT systems -- Typed attributed graph transformation with inheritance -- Case study on model transformation -- Implementation of typed attributed graph transformation by AGG -- App. A. A short introduction to category theory -- App. B. A short introduction to signatures and algebras -- App. C. Detailed proofs.
Ver en WorldCat WorldCat
Ver en Google Books Google Books
Disponibilidad
CodBarras Localización Piso Signatura Estado Categoría
094567Biblioteca Universidad Icesi2511.5/F981DisponibleCol. Alt Tra