Transformations of structures: An algebraic approach

DOI10.1007/BF01752403MaRDI QIDQ3953162zbMATH OpenOpenAlexFDO

Authors Hartmut Ehrig, Andrea Maggiolo-Schettini, Barry K. Rosen, Józef Winkowski, Hans-Jörg Kreowski

Publication date 1981

Published in Mathematical Systems Theory (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/bf01752403

zbMATH Keywords

abstract structure transformationsalgebraic and categorical approach to the problem of transforming structures

Mathematics Subject Classification ID

Categories of machines, automata (18B20) Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65) Algebraic theory of languages and automata (68Q70)

Cites work

• A class of replacement systems with simple optimality theory
• A relational model of data for large shared data banks
• Applications of graph grammar theory to consistency, synchronization and scheduling in data base systems
• Automata in general algebras
• Computation on graph-like expressions
• Computing in systems described by equations
• Dynamics of discrete systems and pattern reproduction
• Grammars on partial graphs
• Graph grammars and applications to specialization and evolution in biology
• Graph-grammars and their application to computer science and biology. International workshop Bad Honnef, October 30 November 3, 1978
• Heterogeneous algebras
• scientific article; zbMATH DE number 3651766 (Why is no real title available?)
• scientific article; zbMATH DE number 3466555 (Why is no real title available?)
• scientific article; zbMATH DE number 3551928 (Why is no real title available?)
• scientific article; zbMATH DE number 3556036 (Why is no real title available?)
• scientific article; zbMATH DE number 3582349 (Why is no real title available?)
• scientific article; zbMATH DE number 3591400 (Why is no real title available?)
• scientific article; zbMATH DE number 3604374 (Why is no real title available?)
• scientific article; zbMATH DE number 3417640 (Why is no real title available?)
• Minimal and Optimal Computations of Recursive Programs
• Optimal evaluations of graph-like expressions
• Relational production systems
• Speeding up subtree replacement systems
• The Mathematics of Record Handling

Cited in

(14)

• Foundations of rule-based design of modular systems
• Some fundamental algebraic tools for the semantics of computation. III: Indexed categories
• The monadic second-order logic of graphs. VII: Graphs as relational structures
• Parallel high-level replacement systems
• Graph expressions and graph rewritings
• Parallelism and concurrency in high-level replacement systems
• Canonical derivations for high-level replacement systems
• 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
• Confluence for graph transformations
• Relational graph rewritings
• On categorical graph grammars integrating structural transformations and operations on labels
• Parallel and distributed derivations in the single-pushout approach
• Semantics of algorithmic languages

This page was built for publication: Transformations of structures: An algebraic approach

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3953162)