Thomas F. Gritzner

	1997
3		David von Oheimb, Thomas F. Gritzner: RALL: Machine-Supported Proofs for Relation Algebra. CADE 1997: 380-394
	1996
2		Thomas F. Gritzner, Rudolf Berghammer: A Relation Algebraic Model of Robust Correctness. Theor. Comput. Sci. 159(2): 245-270 (1996)
	1993
1		Rudolf Berghammer, Thomas F. Gritzner, Gunther Schmidt: Prototyping Relational Specifications Using Higher-Order Objects. HOA 1993: 56-75

Coauthor Index

1	Rudolf Berghammer	[1] [2]
2	David von Oheimb	[3]
3	Gunther Schmidt	[1]

Colors in the list of coauthors