Claudia Hattensperger

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

Collaborative distances:

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

1998

Rechnergestütztes Beweisen in heterogenen Relationenalgebren.

Claudia Hattensperger

PhD thesis, 1998

1997

Towards a Formal Framework for Heterogeneous Relation Algebra.

Claudia Hattensperger, Peter Kempf

Proceedings of the Participants Copies of Third International Seminar on the Use of Relational Methods in Computer Science, 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