Thomas Hillenbrand (Selection)

Ask others: ACM DL/Guide - - CSB - MetaPress - Google - Bing - Yahoo

10

Jürgen Avenhaus, Thomas Hillenbrand, Bernd Löchner: On using ground joinable equations in equational theorem proving. J. Symb. Comput. 36(1-2): 217-233 (2003)

Selection of 1 from 15 records - Thomas Hillenbrand has 21 coauthors