Programming Systems Lab: Publications by Geoff Sutcliffe

Saarland University Computer Science

Select author:


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