Thomas F. Gritzner

According to our database1, Thomas F. Gritzner authored at least 4 papers between 1993 and 1997.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

1997
RALL: Machine-Supported Proofs for Relation Algebra.
Proceedings of the Automated Deduction, 1997

1996
wp-Kalkül und relationale Spezifikation kommunizierender Systeme.
PhD thesis, 1996

A Relation Algebraic Model of Robust Correctness.
Theor. Comput. Sci., 1996

1993
Prototyping Relational Specifications Using Higher-Order Objects.
Proceedings of the Higher-Order Algebra, 1993


  Loading...