Hartmut Ehrig

Hartmut Ehrig was a German computer scientist and professor of theoretical computer science and formal specification. He was a pioneer in algebraic specification of abstract data types, and in graph grammars.

Source: https://en.wikipedia.org/wiki/Hartmut_Ehrig

German computer scientist (1944-2016)

Born	1944
Died	2016

40 works Add another?

Most Editions

Most Editions First Published Most Recent Top Rated Reading Log Trending Random

Details Grid — Show only ebooks?

Graph Transformations: Second International Conference, ICGT 2004, Rome, Italy, September 28 - October 1, 2004, Proceedings

by Grzegorz Rozenberg, Arend Rensink, and Hartmut Ehrig First published in 2004
5 editions

Locate

My Reading Lists:

Create a new list

Create a new list
×Close

Name:

Description:

Cancel
Preview

Preview Book
×Close

Fundamentals of Algebraic Specifications 2: Module Specification and Constraints (E a T C S Monographs on Theoretical Computer Science)

by Hartmut Ehrig and Bernd Mahr First published in 1990
3 editions, 1 ebook
Borrow

Listen

Locate
My Reading Lists:

Create a new list
Tapsoft '87: Proceedings of the International Joint Conference on Theory and Practice of Software Development Pisa, Italy, March 23-27, 1987 : Advanc (Monographs on Pathology of Laboratory Animals)

by International Joint Conference on Theory..., Hartmut Ehrig, Robert Kowalski, and Giorgio Levi First published in 1987
3 editions

Locate

My Reading Lists:

Create a new list
Fundamentals of Algebraic Specification 1: Equations and Initial Semantics

by Hartmut Ehrig First published in 1985
3 editions

Locate

My Reading Lists:

Create a new list
Graph and Model Transformation: General Framework and Applications

by Hartmut Ehrig, Claudia Ermel, Ulrike Golas, and Frank Hermann First published in 2015
3 editions

Locate

My Reading Lists:

Create a new list
Graph Grammars and Their Application to Computer Science: 4th International Workshop, Bremen, Germany, March 5-9, 1990. Proceedings (Lecture Notes in Computer Science)

by Hartmut Ehrig, Grzegorz Rozenberg, and Hans-Jörg Kreowski First published in 1991
3 editions

Locate

My Reading Lists:

Create a new list
Fundamentals of Algebraic Specification 2: Module Specifications and Constraints (Monographs in Theoretical Computer Science. An EATCS Series)

by Hartmut Ehrig and Bernd Mahr First published in 1989
2 editions

Locate

My Reading Lists:

Create a new list
Graph Grammars and Their Application to Computer Science: 5th International Workshop, Williamsburg, VA, USA, November (13-18), 1995. Selected Papers. (Lecture Notes in Computer Science)

by Hartmut Ehrig and G. Rozenberg First published in 1996
2 editions

Locate

My Reading Lists:

Create a new list
Petri Net Technology for Communication-Based Systems: Advances in Petri Nets (Lecture Notes in Computer Science)

by Hartmut Ehrig, Wolfgang Reisig, Grzegorz Rozenberg, and Herbert Weber First published in 2003
2 editions

Locate

My Reading Lists:

Create a new list
Integration of Software Specification Techniques for Applications in Engineering: Priority Program SoftSpez of the German Research Foundation (DFG). Final Report (Lecture Notes in Computer Science)

by Hartmut Ehrig First published in 2004
1 edition

Locate

My Reading Lists:

Create a new list
Recent Trends in Data Type Specification: 9th Workshop on Specification of Abstract Data Types, Joint with the 4th Compass Workshop, Caldes de Malavel (Lecture Notes in Computer Science)

by Hartmut Ehrig First published in 1994
1 edition

Locate

My Reading Lists:

Create a new list
Preview

Categorical methods in computer science: with aspects from topology

by Hartmut Ehrig First published in 1989
1 edition, 1 ebook

Preview Only

My Reading Lists:

Create a new list
Formal Methods and Software Development

by Hartmut Ehrig First published in 1985
1 edition

Locate

My Reading Lists:

Create a new list
Graph Transformations Lecture Notes in Computer Science

by Hartmut Ehrig First published in 2008
1 edition

Locate

My Reading Lists:

Create a new list
TAPSOFT '87. Proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 23 - 27 1987: Volume ... (CFLP) (Lecture Notes in Computer Science)

by Hartmut Ehrig, Giorgio Levi, and Ugo Montanari First published in 1987
1 edition

Locate

My Reading Lists:

Create a new list
Kick-off-Workshop der DFG-Forschergruppe Petrinetz-Technologie: Berlin, 15. Juli 1996

by Hartmut Ehrig First published in 1996
1 edition

Locate

My Reading Lists:

Create a new list
Universal theory of automata: a categorical approach

by Hartmut Ehrig First published in 1974
1 edition

Locate

My Reading Lists:

Create a new list
Graph Transformations in Computer Science: International Workshop, Dagstuhl Castle, Germany, January 4 - 8, 1993. Proceedings (Lecture Notes in Computer Science)

by H.-J Schneider and Hartmut Ehrig First published in 1994
1 edition

Locate

My Reading Lists:

Create a new list
Formal Methods in Software and Systems Modeling: Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday (Lecture Notes in Computer Science)

by Hartmut Ehrig First published in 2005
1 edition

Locate

My Reading Lists:

Create a new list
Mathematical Foundations of Software Development. Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), ... (Lecture Notes in Computer Science)

by Hartmut Ehrig, Christiane Floyd, Maurice Nivat, and James Thatcher First published in 1986
1 edition

Locate

My Reading Lists:

Create a new list

German computer scientist (1944-2016)

Born	1944
Died	2016

Add to List

My Reading Lists:

Create a new list

ID Numbers

OLID: OL1295677A
ISNI: 0000000116849234
Library of Congress Names: n79131463
VIAF: 91382328
Wikidata: Q59533260
Inventaire.io: wd:Q59533260

Links outside Open Library

No links yet. Add one?

Download catalog record: RDF / JSON

Hartmut Ehrig

40 works Add another?

Create a new list

Preview Book

Subjects

Places

Add to List

ID Numbers

Links outside Open Library