1
Published 2004
Springer Berlin Heidelberg
Table of Contents: ... Generating Hypergraph Grammars -- Composition of Path Transductions -- Object-Orientation -- Translating Java...

2
by Ehrig, Hartmut, Mahr, Bernd
Published 1990
Springer Berlin Heidelberg
Table of Contents: ... Schedule: Part 1 -- 3 Basic Operations on Module Specifications -- 3A: Composition -- 3B: Union -- 3C...

3
Published 1987
Springer Berlin Heidelberg
Table of Contents: ... with unification and composition --...

4
Published 1987
Springer Berlin Heidelberg
Table of Contents: ... clause specifications: Proof theory and correctness -- Partial composition and recursion of module...

5
Published 1991
Springer Berlin Heidelberg
Table of Contents: ... GSBL -- Composition of algebraic high-level nets -- A match operation for rule-based modular system...

6
Published 1994
Springer Berlin Heidelberg
Table of Contents: ... systems and the composition of their computations -- Relational structures and their partial morphisms...

7
Published 2010
Springer Berlin Heidelberg
Table of Contents: ... -- Realizing Impure Functions in Interaction Nets -- Composite EMF Modeling Based on Typed Graphs...

8
Published 1987
Springer Berlin Heidelberg
Table of Contents: ... activity and future plans -- A compositive abstraction algorithm for combinatory logic -- Linear logic...

9
Published 2008
Springer Berlin Heidelberg
Table of Contents: ... Transformation -- High-Level Programs and Program Conditions -- Compositional Systems -- Parallel and Sequential...

10
Published 1996
Springer Berlin Heidelberg
Table of Contents: ... composition of graph grammar productions -- The decomposition of ESM computations -- Formal relationship...

11
Published 2006
Springer Berlin Heidelberg
Table of Contents: ... Grammars with Word Order Restrictions -- Borrowed Contexts and Adhesive Categories -- Composition...