|
Search the dblp DataBase
Catharina Rieckhoff:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Hartmut Ehrig, Francesco Parisi-Presicce, Paul Boehm, Catharina Rieckhoff, Christian Dimitrovici, Martin Große-Rhode
Algebraic Data Type and Process Specifications based on Projection Spaces. [Citation Graph (0, 0)][DBLP] ADT, 1987, pp:23-43 [Conf]
- Catharina Rieckhoff
Towards a Theory for the Animation of Algebraic Specification. [Citation Graph (0, 0)][DBLP] COMPASS/ADT, 1992, pp:310-320 [Conf]
- Hartmut Ehrig, Francesco Parisi-Presicce, Paul Boehm, Catharina Rieckhoff, Christian Dimitrovici, Martin Große-Rhode
Combining Data Type and Recursive Process Specifications Using Projection Algebras. [Citation Graph (0, 0)][DBLP] Theor. Comput. Sci., 1990, v:71, n:3, pp:347-380 [Journal]
Search in 0.001secs, Finished in 0.001secs
|