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:
19961995Wrote 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.