Claudia Hattensperger

RALF - A Relation-Algebraic Formula Manipulation System and Proof Checker

Gunther Schmidt, Rudolf Berghammer, Claudia Hattensperger, 1993, AMAST.

Heterogeneous Relation Algebra

Michael Winter, Gunther Schmidt, Claudia Hattensperger, 1997, Relational Methods in Computer Science.

Towards a Formal Framework for Heterogeneous Relation Algebra

Peter Kempf, Claudia Hattensperger, 1999, Inf. Sci..

Second-Order Syntax in HOPS and in RALF

Wolfram Kahl, Claudia Hattensperger, 1998 .

Rechnergestütztes Beweisen in heterogenen Relationenalgebren

Claudia Hattensperger, 1998 .