| | |
- CSB - MetaPress - Google - Bing - Yahoo
 | 1996 | |
|---|---|---|
| 4 |      | Arnim Buch, Thomas Hillenbrand, Roland Fettig: WALDMEISTER: High Performance Equational Theorem Proving. DISCO 1996: 63-64 |
| 3 | | Roland Fettig, Bernd Löchner: Unification of Higher-Order patterns in a Simply Typed Lambda-Calculus with Finite Products and terminal Type. RTA 1996: 347-361 |
| 2 | | Thomas Hillenbrand, Arnim Buch, Roland Fettig: On Gaining Efficiency in Completion-Based Theorem Proving. RTA 1996: 432-435 |
| 1995 | ||
| 1 | | Klaus Schmid, Roland Fettig: Towards an Efficient Construction of Test Sets for Deciding Ground Reducability. RTA 1995: 86-100 |
| 1 | Arnim Buch | [2] [4] |
| 2 | Thomas Hillenbrand | [2] [4] |
| 3 | Bernd Löchner | [3] |
| 4 | Klaus Schmid | [1] |
Colors in the list of coauthors
Last update Wed May 30 22:34:44 2012 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page