LeoPARD --- A Generic Platform for the Implementation of Higher-Order
Reasoners

LeoPARD --- A Generic Platform for the Implementation of Higher-Order Reasoners

7 May 2015

Christoph Benzmüller

ArXiv (abs)PDF HTML

Papers citing "LeoPARD --- A Generic Platform for the Implementation of Higher-Order Reasoners"

Title
No papers