Hartmut Ehrig

1944 — 2016 · 40 obras en el catálogo

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

Obras — página 2

Graph Transformation

Graph Transformations

Fundamentals of Algebraic Specification 2

KKategorien und Automate

Kategorien und Automate

UUniversal theory of automata

Universal theory of automata

KKick-off-Workshop der DFG-Forschergruppe Petrinetz-Technolog

Kick-off-Workshop der DFG-Forschergruppe Petrinetz-Technologie

Graph Transformations in Computer Science

TAPSOFT '87 Vol. 2

Act

Formal Methods and Software Development

Fundamentals of algebraic specification

Fundamentals of algebraic specification 2

Kategorien und Automaten

Mathematical Foundations of Software Development

Recent Trends in Data Type Specification

TThree papers on graph rewriting systems and their applicatio

Three papers on graph rewriting systems and their applications