| |
| 1997 | ||
|---|---|---|
| 3 | David von Oheimb, Thomas F. Gritzner: RALL: Machine-Supported Proofs for Relation Algebra. CADE 1997: 380-394 | |
| 1996 | ||
| 2 | EE | 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 | |
| 1 | Rudolf Berghammer | [1] [2] |
| 2 | David von Oheimb | [3] |
| 3 | Gunther Schmidt | [1] |