`Travelled to:`

1 × Australia

`Collaborated with:`

D.v.Oheimb

`Talks about:`

support (1) algebra (1) machin (1) relat (1) proof (1) rall (1)

## Person: Thomas F. Gritzner

### DBLP: Gritzner:Thomas_F=

### Contributed to:

### Wrote 1 papers:

- CADE-1997-OheimbG #algebra #named #proving
- RALL: Machine-Supported Proofs for Relation Algebra (DvO, TFG), pp. 380–394.