- CSB - MetaPress - Google - Bing - Yahoo
 | 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] |