Canonical constraints for parameterized data types
- E.G. Wagner
- H. Ehrig
- 1987
- Theoretical Computer Science
Publications
This is our catalog of publications authored by IBM researchers, in collaboration with the global research community. It’s an ever-growing body of work that shows why IBM is one of the most important contributors to modern computing.
Date
Featured collections
Popular topics
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