Towards a Substitution Tree Based Index for Higher-order Resolution Theorem Provers
English
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) >]
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