Catharina Rieckhoff

According to our database, Catharina Rieckhoff authored at least 4 papers between 1987 and 1993.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

1993

Eine Theorie zur graphischen Visualisierung algebraischer Spezifikationen.

Catharina Rieckhoff

PhD thesis, 1993

1992

Towards a Theory for the Animation of Algebraic Specification.

Catharina Rieckhoff

Proceedings of the Recent Trends in Data Type Specification, 1992

1990

Combining Data Type and Recursive Process Specifications Using Projection Algebras.

Hartmut Ehrig, Francesco Parisi-Presicce, Paul Boehm, Catharina Rieckhoff, Christian Dimitrovici, Martin Große-Rhode

Theor. Comput. Sci., 1990

1987

Algebraic Data Type and Process Specifications based on Projection Spaces.

Hartmut Ehrig, Francesco Parisi-Presicce, Paul Boehm, Catharina Rieckhoff, Christian Dimitrovici, Martin Große-Rhode

Proceedings of the Recent Trends in Data Type Specification, 1987