Term Indexing for the LEO-II Prover (2006)

First Author: Frank Theiss (Author)

Attributed to: LEO II: An Effective Higher-Order Theorem Prover funded by EPSRC

Abstract

No abstract provided

Bibliographic Information

Publication URI: http://sunsite.informatik.rwth-aachen.de/Publications/CEUR-WS/Vol-212/03_Theiss.pdf

Type: Conference/Paper/Proceeding/Abstract