Programming Systems Lab: Publications by Frank Theiss

Saarland University Computer Science

Select author:

2009

Progress in the Development of Automated Theorem Proving for Higher-Order Logic
Geoff Sutcliffe, Christoph E. Benzmüller, Chad E. Brown, Frank Theiss
Automated Deduction - CADE-22, 22nd International Conference on Automated Deduction, Montreal, Canada, August 2-7, 2009. Proceedings


Login to edit


Legal notice, Privacy policy