1

2 Table of Contents: “... -- Neighborhood-Preserving Node Replacements -- Graph Theory -- Complexity Issues in Switching of Graphs...”

3 Subjects: “...K-Theory...”

4 Table of Contents: “... clause specifications: Proof theory and correctness -- Partial composition and recursion of module...”

5 Table of Contents: “... -- Tool Support -- App. A, Basic Notions of Category Theory -- App. B, Proofs and Additional Properties...”

6 Subjects: “...Formal Languages and Automata Theory...”

7 Table of Contents: “... for analyzing graph grammars -- An algebraic theory of graph reduction -- Programming with very large graphs...”

8 Table of Contents: “... -- A type discipline for program modules -- Theory and practice of canonical term functors in abstract...”

9 Subjects: “...Formal Languages and Automata Theory...”

10 Subjects: “...Formal Languages and Automata Theory...”

11 Table of Contents: “... -- A theory of abstract data types for program development: Bridging the gap? -- Program development...”

12 Subjects: “...Theory of Computation...”

13

14

15 Table of Contents: “...-order theory -- Restricting the complexity of regular DNLC languages -- Apex graph grammars -- Graph...”

16 Subjects: “...Formal Languages and Automata Theory...”

17

18 Table of Contents: “... and Simulation of Dynamic Resource Allocation -- Bisimulation Theory for Graph Transformation Systems...”

19 Subjects: “...Formal Languages and Automata Theory...”

20 Table of Contents: “...Invited Papers -- Towards an Algebraic Theory of Bidirectional Transformations -- Discovery...”