Claudia Hattensperger

According to our database, Claudia Hattensperger authored at least 4 papers between 1993 and 1999.

Collaborative distances:

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

1999

Towards a Formal Framework for Heterogeneous Relation Algebra.

Claudia Hattensperger, Peter Kempf

Inf. Sci., 1999

1998

Rechnergestütztes Beweisen in heterogenen Relationenalgebren.

Claudia Hattensperger

PhD thesis, 1998

1997

Heterogeneous Relation Algebra.

Gunther Schmidt, Claudia Hattensperger, Michael Winter

Proceedings of the Relational Methods in Computer Science., 1997

1993

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

Claudia Hattensperger, Rudolf Berghammer, Gunther Schmidt

Proceedings of the Algebraic Methodology and Software Technology (AMAST '93), 1993