Arnim Buch (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

2 Arnim Buch, Thomas Hillenbrand, Roland Fettig: WALDMEISTER: High Performance Equational Theorem Proving. DISCO 1996: 63-64

1 Thomas Hillenbrand, Arnim Buch, Roland Fettig: On Gaining Efficiency in Completion-Based Theorem Proving. RTA 1996: 432-435

Selection of 2 from 5 records - Arnim Buch has 5 coauthors

2		Arnim Buch, Thomas Hillenbrand, Roland Fettig: WALDMEISTER: High Performance Equational Theorem Proving. DISCO 1996: 63-64
1		Thomas Hillenbrand, Arnim Buch, Roland Fettig: On Gaining Efficiency in Completion-Based Theorem Proving. RTA 1996: 432-435