No full text
Software (Computer developments)
Leo-III
STEEN, Alexander; Wisniewski, Max; BENZMÜLLER, Christoph
2016
 

Files


Full Text
No document available.

Send to



Details



Disciplines :
Computer science
Author, co-author :
STEEN, Alexander ;  University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC)
Wisniewski, Max
BENZMÜLLER, Christoph ;  University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC)
Language :
English
Title :
Leo-III
Publication date :
2016
Technical description :
Leo-III is an automated theorem prover for (polymorphic) higher-order logic which supports all common TPTP dialects, including THF, TFF and FOF as well as their rank-1 polymorphic derivatives. It is based on a paramodulation calculus with additional ordering constraints and, in tradition of its predecessor LEO-II, heavily relies on cooperation with external (mostly first-order) theorem provers for increased performance. Nevertheless, Leo-III can also be used as a stand-alone prover without employing any external cooperation.
Name of the research project :
Leo-III
Funders :
DFG - Deutsche Forschungsgemeinschaft
Available on ORBilu :
since 15 September 2019

Statistics


Number of views
81 (4 by Unilu)
Number of downloads
0 (0 by Unilu)

Bibliography


Similar publications



Contact ORBilu