Claudia Hattensperger

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

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

1999
Towards a Formal Framework for Heterogeneous Relation Algebra.
Inf. Sci., 1999

1998
Rechnergestütztes Beweisen in heterogenen Relationenalgebren.
PhD thesis, 1998

1997
Heterogeneous Relation Algebra.
Proceedings of the Relational Methods in Computer Science., 1997

1993
RALF - A Relation-Algebraic Formula Manipulation System and Proof Checker.
Proceedings of the Algebraic Methodology and Software Technology (AMAST '93), 1993


  Loading...