Reference : Towards a Substitution Tree Based Index for Higher-order Resolution Theorem Provers
Scientific congresses, symposiums and conference proceedings : Paper published in a book
Engineering, computing & technology : Computer science
http://hdl.handle.net/10993/40611
Towards a Substitution Tree Based Index for Higher-order Resolution Theorem Provers
English
Libal, Tomer mailto [University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC) >]
Steen, Alexander mailto [University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC) >]
Jul-2016
Practical Aspects of Automated Reasoning
Urban, Josef
Fontaine, Pascal
Schulz, Stephan
CEUR-WS.org
CEUR Workshop Proceedings, Volume 1635
82-94
Yes
No
International
5th Workshop on Practical Aspects of Automated Reasoning
July 2nd, 2016
Coimbra
Portugal
[en] Term Indexing ; Theorem Proving ; Logic
Researchers ; Professionals
http://hdl.handle.net/10993/40611
http://ceur-ws.org/Vol-1635/

File(s) associated to this reference

Fulltext file(s):

FileCommentaryVersionSizeAccess
Open access
paper-08.pdfPublisher postprint285.46 kBView/Open

Bookmark and Share SFX Query

All documents in ORBilu are protected by a user license.