Paper published in a book (Scientific congresses, symposiums and conference proceedings)
The Higher-Order Prover Leo-III
Steen, Alexander; Benzmüller, Christoph
2018In Automated Reasoning 9th International Joint Conference, IJCAR 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings
Peer reviewed
 

Files


Full Text
C70.pdf
Author preprint (520.37 kB)
Download

All documents in ORBilu are protected by a user license.

Send to



Details



Keywords :
LEO Prover; Higher Order Logic; Automated Reasoning
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)
Benzmüller, Christoph ;  University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC)
External co-authors :
yes
Language :
English
Title :
The Higher-Order Prover Leo-III
Publication date :
2018
Event name :
IJCAR 2018
Event place :
Oxford, United Kingdom
Event date :
form 14-07-2018 to 17-07-2018
Audience :
International
Main work title :
Automated Reasoning 9th International Joint Conference, IJCAR 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings
Publisher :
Springer, Cham
ISBN/EAN :
978-3-319-94204-9
Collection name :
Lecture Notes in Artificial Intelligence, Volume 10900
Pages :
108-116
Peer reviewed :
Peer reviewed
Focus Area :
Computational Sciences
Available on ORBilu :
since 24 November 2018

Statistics


Number of views
41 (3 by Unilu)
Number of downloads
95 (2 by Unilu)

Scopus citations®
 
44
Scopus citations®
without self-citations
31

Bibliography


Similar publications



Contact ORBilu