1 Table of Contents: “...Basic Tensor Algebra -- Tensor Spaces -- to Tensors -- Homogeneous Tensors -- Change-of-basis...”

2 Table of Contents: “... -- Graphs -- Boolean Algebra -- Complex Numbers -- Recurrence Relations -- Concept of an Algorithm...”

3 Table of Contents: “... on decision properties -- Algebraic graph rewriting using a single pushout -- Unifying initial and loose...”

4 Table of Contents: “... representation of arithmetic for term rewriting -- Query optimization using rewrite rules -- Boolean algebra...”

5 Table of Contents: “... and the Special Case of Identifying Vertices Using Paths -- Disjoint Set Forest Digraph Representation...”

6 Table of Contents: “... of non-terminating rewrite systems using minimal coverings -- Congruence Types -- Deduction by combining...”

7 Table of Contents: “...Putting algebraic components together: A dependent type approach -- The use of proof plans...”

8 Table of Contents: “... -- Compactness of systems of equations on completely regular semigroups -- Decision problems concerning algebraic...”

9 Table of Contents: “... in the analysis of concurrent systems -- The lotos model of a fault protected system and its verification using a...”

10 Table of Contents: “...Formal techniques for parallel object-oriented languages -- Causal models for rational algebraic...”

11 Table of Contents: “...Object orientation and formal techniques -- An algebraic approach to refinement -- Modal logic...”

12 Table of Contents: “... Security Model -- 5 Using X.509 Attribute Certificates for Role-Based EAM -- 6 Implementing Workflow...”

13 Table of Contents: “... of tautologies using the schema of equivalence -- Process algebra with combinators -- Is game semantics necessary...”

14 Table of Contents: “... of Differential Equations -- Numerical Solution of Differential Equations -- Appendix A: Vector Algebra...”

15 Table of Contents: “...Specification and Verification of Asynchronous Circuits using Marked Graphs...”

16 Table of Contents: “...: -Completeness and Approximations -- Finite Domain Constraint Satisfaction Using Quantum Computation -- Fast...”

17 Table of Contents: “...Complete axiomatizations of some quotient term algebras -- The meaning of negative premises...”

18 Table of Contents: “... Deployment using Genetic Algorithm -- Object-Oriented Internet Reactive Interoperability --...”

19 Table of Contents: “... -- Graphs -- Boolean Algebra -- Complex Numbers -- Recurrence Relations -- Concept of an Algorithm...”

20 Table of Contents: “... of Semiring Homomorphisms -- An Algebraic Generalization of ?-Regular Languages -- Games -- A Protocol...”