Cover Image
Read Now

2
Published 1991
Springer Berlin Heidelberg
“...Methods for the algebraic specification of abstract data types were proposed in the early 1970...”
Cover Image
Read Now

3
Published 2005
Springer Berlin Heidelberg
Table of Contents: “... -- Towards a Formal Specification of an Electronic Payment System in CSP-CASL -- Algebraic Semantics...”
Cover Image
Read Now

4
Published 1989
Springer Berlin Heidelberg
Table of Contents: “... for ground TRS and some extensions -- Order-sorted completion: The many-sorted way -- Algebraization...”
Cover Image
Read Now

5
Published 1994
Springer Berlin Heidelberg
Table of Contents: “...Towards an algebraic semantics for the object paradigm -- Rewriting techniques for software...”
Cover Image
Read Now

6
Published 1991
Springer Berlin Heidelberg
Table of Contents: “...ADT implementation and completion by induction from examples -- An association of Algebraic term...”
Cover Image
Read Now

7
Published 2005
Springer Berlin Heidelberg
Table of Contents: “...Graph Transformation -- On the Concurrent Semantics of Algebraic Graph Grammars -- From Graph...”
Cover Image
Read Now

8
Published 1989
Springer Berlin Heidelberg
Table of Contents: “...Towards a meaning of ‘M’ in VDM -- Algebraic specification and functionals for transformational...”
Cover Image
Read Now

9
Published 2001
Springer Berlin Heidelberg
Table of Contents: “... Not? -- Theoretical Aspects of Evolutionary Algorithms -- Algebraic and Circuit Complexity -- Improvements...”