Hartmut Ehrig
Hartmut Ehrig (born 6 December 1944 in Angermünde; died 17 March 2016) 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. Provided by Wikipedia
Showing 1 - 2 results of 2 for search 'Ehrig, Hartmut, 1944-', query time: 0.01s
Refine Results
-
1
Fundamentals of algebraic specification / by Ehrig, Hartmut, 1944-
Published 1985Call Number: Loading…
Located: Loading…Book Loading… -
2
Graph grammars and their application to computer science /
Published 1996Other Authors:Call Number: Loading…
Located: Loading…Conference Proceeding Book Loading…
Search Tools:
Related Subjects
Formal languages
Lenguajes formales
Algebraic manipulation-Expresions and their representation
Artes y humanidades
Ciencias médicas y de la vida
Especificaciones
Grammars and other rewriting systems
Gramáticas y otros sistemas de reescritura
Knowledge representation formalisms and method frames and scripts
Life and medical sciences
Logics and meanings of programs
Lógica matemática
Lógica y significado de programas
Manipulación algebraica-Expresiones y representación
Mathematical logic
Pattern Recongnition-Models
Reconocimiento de patrones-Modelos
Representación del conocimiento, métodos, formas y scripts
Requerimientos
Requirements
Specifications
arts and humanities