Paper published in a book (Scientific congresses, symposiums and conference proceedings)
Towards a Substitution Tree Based Index for Higher-order Resolution Theorem Provers
Libal, Tomer; Steen, Alexander
2016In Fontaine, Pascal; Schulz, Stephan; Urban, Josef (Eds.) Practical Aspects of Automated Reasoning
Peer reviewed
 

Files


Full Text
paper-08.pdf
Publisher postprint (292.32 kB)
Download

All documents in ORBilu are protected by a user license.

Send to



Details



Keywords :
Term Indexing; Theorem Proving; Logic
Disciplines :
Computer science
Author, co-author :
Libal, Tomer ;  University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC)
Steen, Alexander ;  University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC)
External co-authors :
yes
Language :
English
Title :
Towards a Substitution Tree Based Index for Higher-order Resolution Theorem Provers
Publication date :
July 2016
Event name :
5th Workshop on Practical Aspects of Automated Reasoning
Event place :
Coimbra, Portugal
Event date :
July 2nd, 2016
Audience :
International
Main work title :
Practical Aspects of Automated Reasoning
Author, co-author :
Urban, Josef
Editor :
Fontaine, Pascal
Schulz, Stephan
Publisher :
CEUR-WS.org
Collection name :
CEUR Workshop Proceedings, Volume 1635
Pages :
82-94
Peer reviewed :
Peer reviewed
Available on ORBilu :
since 04 October 2019

Statistics


Number of views
55 (1 by Unilu)
Number of downloads
27 (0 by Unilu)

Scopus citations®
 
4
Scopus citations®
without self-citations
4

Bibliography


Similar publications



Contact ORBilu