| | |
- CSB - MetaPress - Google - Bing - Yahoo
 | 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 |
| 1 | Rudolf Berghammer | [1] [2] |
| 2 | David von Oheimb | [3] |
| 3 | Gunther Schmidt | [1] |
Colors in the list of coauthors
Last update Thu May 31 18:55:10 2012 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page