`Travelled to:`

1 × Germany

1 × USA

`Collaborated with:`

B.Löchner K.Schmid T.Hillenbrand A.Buch

`Talks about:`

effici (2) type (2) construct (1) calculus (1) theorem (1) product (1) pattern (1) complet (1) toward (1) termin (1)

## Person: Roland Fettig

### DBLP: Fettig:Roland

### Contributed to:

### Wrote 3 papers:

- RTA-1996-FettigL #finite #higher-order #unification #λ-calculus
- Unification of Higher-Order patterns in a Simply Typed λ-Calculus with Finite Products and terminal Type (RF, BL), pp. 347–361.
- RTA-1996-HillenbrandBF #on the #performance #proving #theorem proving
- On Gaining Efficiency in Completion-Based Theorem Proving (TH, AB, RF), pp. 432–435.
- RTA-1995-SchmidF #performance #testing #towards
- Towards an Efficient Construction of Test Sets for Deciding Ground Reducability (KS, RF), pp. 86–100.