Canonical constraints for parameterized data types
- E.G. Wagner
- H. Ehrig
- 1987
- Theoretical Computer Science
Publications
4 results for Hartmut Ehrig
Parameter passing in algebraic specification languages
- Hartmut Ehrig
- Hans-Jörg Kreowski
- et al.
- 1983
- Theoretical Computer Science
Transformations of structures: An algebraic approach
- Hartmut Ehrig
- Hans-Jörg Kreowski
- et al.
- 1981
- Mathematical Systems Theory
Parallelism and concurrency of graph manipulations
- Hartmut Ehrig
- Barry K. Rosen
- 1980
- Theoretical Computer Science