Search: Can A Higher-Order And
[1] Can a Higher-Order and a First-Order Theorem Prover Cooperate? (Christoph Benzmüller, Volker Sorge, Mateja Jamnik, Manfred Kerber), In Logic for Programming, Artificial Intelligence, and Reasoning, 11th International Conference, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005, Proceedings (Franz Baader, Andrei Voronkov, eds.), Springer, LNCS, number 3452, pp. 415-431, 2005. (slides) [bibtex] [pdf] [doi]
Powered by bibtexbrowser