Cover Image
Read Now

1
by Ehrig, Hartmut, Ehrig, Karsten, Prange, Ulrike, Taentzer, Gabriele
Published 2006
Springer Berlin Heidelberg
“... concept in computer science and related fields. This is the first textbook treatment of the algebraic...”
Cover Image
Read Now

2
by Ehrig, Hartmut, Mahr, Bernd
Published 1990
Springer Berlin Heidelberg
Table of Contents: “... for Abstract Modules and Modular Systems -- 1D: Informal Introduction to Algebraic Specification of Modules...”
Cover Image
Read Now

3
by Ehrig, Hartmut, Mahr, Bernd
Published 1985
Springer Berlin Heidelberg
Table of Contents: “... and Context-Conditions -- Initial Algebra Semantics -- Bibliographic Notes for the Appendix...”
Cover Image
Read Now

4
by Ehrig, Hartmut, Ermel, Claudia, Golas, Ulrike, Hermann, Frank
Published 2015
Springer Berlin Heidelberg
Subjects: “...Algebra, Homological...”
Cover Image
Read Now

5
by Ehrig, Hartmut
Published 2000
Springer Berlin Heidelberg
Subjects: “...Algebra_xData processing...”
Cover Image
Read Now

7
Published 1985
Springer Berlin Heidelberg
Table of Contents: “... -- On the maximum size of random trees -- Fast searching in a real algebraic manifold with applications to geometric...”
Cover Image
Read Now

8
Published 1987
Springer Berlin Heidelberg
Table of Contents: “... proved by a new look at abstract interpretations -- Transformation ordering -- On parametric algebraic...”
Cover Image
Read Now

9
Published 2000
Springer Berlin Heidelberg
Table of Contents: “... -- Pushout Complements for Arbitrary Partial Algebras -- Concurrency and Distribution -- Unfolding of Double...”
Cover Image
Read Now

10
Published 1996
Springer Berlin Heidelberg
Table of Contents: “...A partial algebras approach to graph transformation -- The contractum in algebraic graph rewriting...”
Cover Image
Read Now

11
by Ehrig, Hartmut, Mahr, Bernd, Cornelius, Felix, Große-Rhode, Martin
Published 1999
Springer Berlin Heidelberg
Table of Contents: “... Konstruktionen -- 27. Adjunktionen -- 28. Anwendungen auf Algebra und Logik -- Literatur...”
Cover Image
Read Now

12
by Ehrig, Hartmut, Mahr, Bernd, Cornelius, F., Große-Rhode, Martin
Published 2001
Springer Berlin Heidelberg
Table of Contents: “... Algebra und Logik -- Literatur...”
Cover Image
Read Now

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

14
Published 1989
Springer Berlin Heidelberg
Table of Contents: “...A categorical concept of constraints for algebraic specifications -- The integration of logical...”
Cover Image
Read Now

15
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

16
Published 1985
Springer Berlin Heidelberg
Table of Contents: “...On the relevance of formal methods to software development -- Combining algebraic and predicative...”
Cover Image
Read Now

17
Published 2001
Springer Berlin Heidelberg
Table of Contents: “... Frameworks -- Petri Nets over Partial Algebra -- Parameterized Net Classes: A Uniform Approach to Petri Net...”
Cover Image
Read Now

18
Published 1991
Springer Berlin Heidelberg
Table of Contents: “... graph grammars -- Tutorial introduction to the algebraic approach of graph grammars based on double...”
Cover Image
Read Now

19
Published 1987
Springer Berlin Heidelberg
Table of Contents: “...Tutorial introduction to the algebraic approach of graph grammars -- May we introduce to you...”
Cover Image
Read Now

20
Published 1987
Springer Berlin Heidelberg
Table of Contents: “... algebraically specified abstract data types in an imperative programming language -- A declarative environment...”