Ulrich Furbach
Author
Alternate names U. Furbach, Ulrich Furbach, Furbach Ulrich
Institution Koblenz University of Applied Sciences
Past institutions Koblenz University of Applied Sciences, Universität Koblenz, University of Koblenz and Landau, Paderborn University, Zeppelin Universität gemeinnützige GmbH +5 more
ORCID: Yes
H-index: 19
I10-index: 41
Works count: 212
Citations count: 1,325
Hyper tableaux
1996 · Peter Baumgartner, Ulrich Furbach, et al. · Lecture notes in computer science
Automated Deduction—CADE-14
1997 · Jaime Carbonell, Jörg H. Siekmann, et al. · Lecture notes in computer science
Protein: A PROver with a Theory Extension INterface
1994 · Peter Baumgartner, Ulrich Furbach · Lecture notes in computer science