Publication details

Saarland University Computer Science

Satallax: An Automated Higher-Order Prover

Chad E. Brown

6th International Joint Conference on Automated Reasoning (IJCAR 2012), pp. 111 -- 117, Springer, 2012

Download PDF        Show BibTeX               


Login to edit


Webmaster, Wed Sep 16 10:47:00 2009