Claudia Hattensperger

Publication Activity (10 Years)

Years Active: 1993-1999
Publications (10 Years): 0

Bundeswehr University Munich, Neubiberg (Munich), Germany (PHD)

Education History

Bundeswehr University Munich, Neubiberg (Munich), Germany

PHD

Publications

Claudia Hattensperger, Peter Kempf
Towards a Formal Framework for Heterogeneous Relation Algebra. Inf. Sci. 119 (3-4) (1999)
Claudia Hattensperger, Peter Kempf
Towards a Formal Framework for Heterogeneous Relation Algebra. RelMiCS (1997)
Claudia Hattensperger, Rudolf Berghammer, Gunther Schmidt
RALF - A Relation-Algebraic Formula Manipulation System and Proof Checker. AMAST (1993)