| |
| 1999 | ||
|---|---|---|
| 3 | Claudia Hattensperger, Peter Kempf: Towards a Formal Framework for Heterogeneous Relation Algebra. Inf. Sci. 119(3-4): 193-203 (1999) | |
| 1997 | ||
| 2 | Claudia Hattensperger, Peter Kempf: Towards a Formal Framework for Heterogeneous Relation Algebra. RelMiCS 1997: 341-349 | |
| 1993 | ||
| 1 | Claudia Hattensperger, Rudolf Berghammer, Gunther Schmidt: RALF - A Relation-Algebraic Formula Manipulation System and Proof Checker. AMAST 1993: 405-406 | |
| 1 | Rudolf Berghammer | [1] |
| 2 | Peter Kempf | [2] [3] |
| 3 | Gunther Schmidt | [1] |